2 research outputs found
As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007
Constraint Handling Rules (CHR) is a high-level programming language based on
multi-headed multiset rewrite rules. Originally designed for writing
user-defined constraint solvers, it is now recognized as an elegant general
purpose language. CHR-related research has surged during the decade following
the previous survey by Fruehwirth. Covering more than 180 publications, this
new survey provides an overview of recent results in a wide range of research
areas, from semantics and analysis to systems, extensions and applications.Comment: 49 pages. To appear in Theory and Practice of Logic Programmin
A Unified Semantics for Constraint Handling Rules in Transaction Logic
Abstract. Reasoning on Constraint Handling Rules (CHR) programs and their executional behaviour is often ad-hoc and outside of a formal system. This is a pity, because CHR subsumes a wide range of important automated reasoning services. Mapping CHR to Transaction Logic (T R) combines CHR rule specification, CHR rule application, and reasoning on CHR programs and CHR derivations inside one formal system which is executable. This new T R semantics obviates the need for disjoint declarative and operational semantics.