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

TL;DR

This survey reviews over a decade of Constraint Handling Rules (CHR) research from 1998 to 2007, highlighting its evolution from a constraint solver language to a versatile general-purpose programming language.

Contribution

It provides a comprehensive overview of more than 180 publications, covering semantics, analysis, systems, extensions, and applications of CHR during that period.

Findings

Significant growth in CHR research post-1998

Expansion of CHR applications across various domains

Development of new semantics and analysis techniques

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 an overview of recent results in a wide range of research areas, from semantics and analysis to systems, extensions and applications.