Computer Science – Programming Languages
Scientific paper
2006-03-20
Computer Science
Programming Languages
Scientific paper
Constraint Handling Rules (CHR) are a committed-choice declarative language which has been designed for writing constraint solvers. A CHR program consists of multi-headed guarded rules which allow one to rewrite constraints into simpler ones until a solved form is reached. CHR has received a considerable attention, both from the practical and from the theoretical side. Nevertheless, due the use of multi-headed clauses, there are several aspects of the CHR semantics which have not been clarified yet. In particular, no compositional semantics for CHR has been defined so far. In this paper we introduce a fix-point semantics which characterizes the input/output behavior of a CHR program and which is and-compositional, that is, which allows to retrieve the semantics of a conjunctive query from the semantics of its components. Such a semantics can be used as a basis to define incremental and modular analysis and verification tools.
Gabbrielli Maurizio
Meo Maria Chiara
No associations
LandOfFree
A compositional Semantics for CHR does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A compositional Semantics for CHR, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A compositional Semantics for CHR will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-450862