Computers & Internet Books:

A Unified Analytical Foundation for Constraint Handling Rules



Customer rating

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Share this product

A Unified Analytical Foundation for Constraint Handling Rules by Hariolf Betz
$78.99 was $125.99 save $47.00
or 4 payments of $19.75 with Learn more
In stock with supplier

The item is brand new and in-stock in with one of our preferred suppliers. The item will ship from the Mighty Ape warehouse within the timeframe shown below.

Usually ships within 2-3 weeks


Delivering to:

Estimated arrival:

  • Around 14-20 December using Express Delivery
    Mighty Ape can deliver this product within 1-2 business days (usually overnight) to urban centres across Australia, and some remote areas. Learn more
  • Around 17-24 December using standard courier delivery


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.

Author Biography

Hariolf Betz studied Computer Science and Philosophy at the University of Ulm. Early on, he developed a keen interest in the logical foundations of programming. He was granted a state-funded scholarship to pursue his PhD. He currently works as a software engineer and IT consultant. His professional interests include mathematical modelling, distributed software architecture, natural user interfaces and real-life applications of constraint programming.
Release date Australia
December 23rd, 2014
Edited by Thom Fruhwirth Edited by Uwe Schoning
black & white illustrations
Country of Publication
United States
Books on Demand
Product ID

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Help & options

  • If you think we've made a mistake or omitted details, please send us your feedback. Send Feedback
  • If you have a question or problem with this product, visit our Help section. Get Help
  • Seen a lower price for this product elsewhere? We'll do our best to beat it. Request a better price
Filed under...