A Unified Analytical Foundation for Constraint Handling Rules by Hariolf Betz

A Unified Analytical Foundation for Constraint Handling Rules

byHariolf Betz, Thom Frühwirth, Uwe Schöning

Kobo ebook | January 22, 2015

Pricing and Purchase Info


Prices and offers may vary in store

Available for download

Not available in stores


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.
Title:A Unified Analytical Foundation for Constraint Handling RulesFormat:Kobo ebookPublished:January 22, 2015Publisher:Books on DemandLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3738669434

ISBN - 13:9783738669435

Look for similar items by category: