|
359
|
Theory and Practice of Constraint Handling Rules
– Thom Frühwirth
- 1998
|
|
46
|
Analyses, optimizations and extensions of Constraint Handling Rules
– T Schrijvers
|
|
49
|
The K.U.Leuven CHR system: implementation and application
– Tom Schrijvers, Bart Demoen
- 2004
|
|
35
|
García de la
– G J Duck, P J Stuckey, M J
- 2004
|
|
23
|
Compilation of Constraint Handling Rules
– G J Duck
- 2005
|
|
41
|
The Refined Operational Semantics of Constraint Handling Rules
– Gregory J. Duck, Peter J. Stuckey, María García de la Banda, Christian Holzbaur
- 2004
|
|
22
|
Adaptive constraint handling with CHR in Java
– A 2001a Wolf
|
|
19
|
K.U.Leuven JCHR: a user-friendly, flexible and efficient CHR system for Java
– Peter Van Weert, Tom Schrijvers, Bart Demoen
- 2005
|
|
171
|
Constraint Handling Rules
– Thom Frühwirth
- 1995
|
|
8
|
Memory reuse for CHR
– Jon Sneyers, Tom Schrijvers, Bart Demoen
- 2006
|
|
86
|
Operational Semantics and Confluence of Constraint Propagation Rules
– Slim Abdennadher
- 1997
|
|
25
|
Abstract Interpretation for Constraint Handling Rules
– Tom Schrijvers
- 2005
|
|
28
|
A Prolog Constraint Handling Rules compiler and runtime system
– C Holzbaur, T 2000a Frühwirth
|
|
52
|
A theory of overloading
– Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
- 2002
|
|
23
|
Compiling constraint handling rules into Prolog with attributed variables
– Christian Holzbaur
- 1999
|
|
7
|
Accurate functional dependency analysis for Constraint Handling Rules
– Gregory J. Duck, Tom Schrijvers
- 2005
|
|
17
|
Dijkstra’s algorithm with Fibonacci heaps: An executable description
– Jon Sneyers, Tom Schrijvers, Bart Demoen
- 2006
|
|
7
|
A concurrent Constraint Handling Rules implementation in Haskell with software transactional memory
– Edmund S. L. Lam
- 2007
|
|
14
|
A Java constraint kit
– JACK
|
