A Unified Analytical Foundation for Constraint Handling Rules

Released on by Hariolf Betz
preview-18

  • A Unified Analytical Foundation for Constraint Handling Rules Book Detail

  • Author : Hariolf Betz
  • Release Date : 2014-12-23
  • Publisher : BoD – Books on Demand
  • Genre : Computers
  • Pages : 182
  • ISBN 13 : 3734732506
  • File Size : 60,60 MB
DOWNLOAD BOOK

A Unified Analytical Foundation for Constraint Handling Rules by Hariolf Betz PDF Summary

Book Description: The non-deterministic rule-based programming language of Constraint Handling Rules (CHR) features a remarkable combination of desirable properties: a foundation in classical logic, powerful analysis methods for deciding program properties – especially confluence – and an efficient execution model. Upon a closer look, we observe several limitations to this asset. In this thesis, we introduce several concepts to amend for these short- comings. Firstly, we propose an unusually concise formulation of the two most important semantic interpretations of CHR. Secondly, we analyse the relationship between the major diverging interpretations of CHR. Finally, we found CHR on intuitionistic linear logic.

Disclaimer: www.yourbookbest.com does not own A Unified Analytical Foundation for Constraint Handling Rules books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.