As time goes by: Constraint handling rules -- A survey of CHR research between 1998 and 2007

DMCA

As time goes by: Constraint handling rules -- A survey of CHR research between 1998 and 2007 (2009)

Cached

Download Links

by Jon Sneyers , Peter Van Weert , Tom Schrijvers , Leslie De Koninck

Citations:

16 - 11 self

BibTeX

@MISC{Sneyers09astime,
    author = {Jon Sneyers and Peter Van Weert and Tom Schrijvers and Leslie De Koninck},
    title = {As time goes by: Constraint handling rules -- A survey of CHR research between 1998 and 2007},
    year = {2009}
}

OpenURL

Abstract

Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded 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 Frühwirth (1998). 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.

Keyphrases

chr research constraint handling rule survey high-level programming language elegant general purpose language previous survey fr hwirth multiheaded multiset rewrite rule user-defined constraint solver chr-related research wide range constraint handling rule research area recent result new survey

DMCA