Constraint Handling Rules (CHR) are our proposal to allow more flexibility and application-
oriented customization of constraint systems. CHR are a declarative language extension …

Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a
practical programming language based on rules. This book, written by the creator of CHR …

Abstract Constraint Handling Rules (CHR) allow one to specify and implement both
propagation and simplification for user-defined constraints. Since a propagation rule is …

Abstract Constraint Simplification Rules (CSR) is a subset of the Constraint Handling Rules
(CHR) language. CHR is a powerful special-purpose declarative programming language for …

Die Constraint-Programmierung liefert Methoden zur effizienten Modellierung von Systemen
oder zur Lösung von Problemstellungen, bei denen nur unvollständige Informationen …

While it is generally agreed-upon that certain classes of CHR states should be considered
equivalent, no standard definition of equivalence has ever been established. Furthermore …

Abstract Constraint Handling Rules (CHR) is a high-level language for writing constraint
solvers either from scratch or by modifying existing solvers. An important property of any …

A fundamental question in programming language semantics is when two programs should
be considered equivalent. In this paper we introduce a notion of operational equivalence for …

Résumé It is gainful for a syntactic analysis in Natural Language Processing to be carried
out with more or less precision according to the context, ie that its granularity can be …

In this paper, parsing-as-deduction and constraint programming are brought together to
outline a procedure for the specification of constraint-based chart parsers. Following the …