Research Summary: Termination of CHR

Paolo Pilozzi

Research Summary: Termination of CHR

2009

Paolo Pilozzi

Constraint Handling Rules (CHR) [7] is a high-level programming language, designed for the easy implementation of custom constraint solvers. CHR is a language-extension, built on top of Java, C and half a dozen Prolog-variants. The language is currently used in many projects [7].

Keywords:

First-generation programming language
Constraint Handling Rules
Constraint programming
Theoretical computer science
Algorithm
Constraint satisfaction
Java
Programming language
Computer science
Termination analysis
Constraint logic programming

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations