Showing 1–1 of 1 results for author: Van Weert, P

As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007

Authors: Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck

Abstract: 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… ▽ More 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. △ Less

Submitted 25 June, 2009; v1 submitted 24 June, 2009; originally announced June 2009.

Comments: 49 pages. To appear in Theory and Practice of Logic Programming

ACM Class: D.1.3; D.1.6; D.3.0; F.3.2; J.0