---
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 . 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.
author:
- |
    JON SNEYERS, PETER VAN WEERT, TOM SCHRIJVERS, and LESLIE DE KONINCK\
    Dept. of Computer Science, K.U.Leuven, Belgium\
bibliography:
- 'biblio.bib'
title: |
    <span>As Time Goes By: Constraint Handling Rules</span>\
    <span><span>A Survey of CHR Research from 1998 to 2007</span></span>
---

<span>Constraint Handling Rules, CHR, survey</span>

Acknowledgments {#acknowledgments .unnumbered}
===============

The authors would like to thank Alan Baljeu (Cornerstone), Bart Demoen, Mike Elston (Scientific Software & Systems), Thom Frühwirth, Ralf Gerlich (BSSE), Gerda Janssens, Paolo Pilozzi, Dean Voets, Jonathan Weston-Dawkes (MITRE), and Pieter Wuille for their invaluable contributions to this paper.

Jon Sneyers and Leslie De Koninck are funded by Ph.D. grants of the Institute for the Promotion of Innovation through Science and Technology in Flanders (IWT-Vlaanderen). Peter Van Weert is a Research Assistant of the fund for Scientific Research - Flanders (Belgium) (F.W.O. - Vlaanderen). Tom Schrijvers is a Post-Doctoral Researcher of the fund for Scientific Research - Flanders.

{'source': 'arXiv_out/0906'}