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. Constraint Handling Rules related research has surged during the decade following the previous survey by Fruhwirth (J. Logic Programming, Special Issue on Constraint Logic Programming, 1998, vol. 37, nos. 1-3, pp. 95-138). 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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1017/S1471068409990123 | THEORY AND PRACTICE OF LOGIC PROGRAMMING |
Keywords | DocType | Volume |
Constraint Handling Rules (CHR),survey | Journal | 10 |
Issue | ISSN | Citations |
1 | 1471-0684 | 12 |
PageRank | References | Authors |
0.59 | 84 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
jon sneyers | 1 | 117 | 9.47 |
peter van weert | 2 | 65 | 4.48 |
tom schrijvers | 3 | 652 | 63.35 |
Leslie De Koninck | 4 | 90 | 6.28 |