Title: As time goes by: Constraint Handling Rules, a survey of CHR research from 1998 to 2007
Authors: Sneyers, Jon * ×
Van Weert, Peter *
Schrijvers, Tom
De Koninck, Leslie #
Issue Date: Jan-2010
Publisher: Cambridge University Press
Series Title: Theory and practice of logic programming vol:10 issue:1 pages:1-48
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.
ISSN: 1471-0684
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
* (joint) first author
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
chr_survey.pdfMain article (draft) Published 1003KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science