Documents Related by Co-Citation

396 Theory and Practice of Constraint Handling Rules – Thom Frühwirth - 1998
46 Analyses, optimizations and extensions of Constraint Handling Rules – T Schrijvers
56 The K.U.Leuven CHR system: implementation and application – Tom Schrijvers, Bart Demoen - 2004
37 María García de la – Gregory J Duck, Peter J Stuckey - 2004
34 Optimal Union-Find in Constraint Handling Rules – Tom Schrijvers, Thom Frühwirth - 2006
15 As Time Goes By: Automatic Complexity Analysis of Simplification Rules – Thom Frühwirth - 2002
187 Constraint Handling Rules – Thom Frühwirth - 1995
49 The Refined Operational Semantics of Constraint Handling Rules – Gregory J. Duck, Peter J. Stuckey, María García de la Banda, Christian Holzbaur - 2004
92 Operational Semantics and Confluence of Constraint Propagation Rules – Slim Abdennadher - 1997
12 Extending CHR with negation as absence – Peter Van Weert, Jon Sneyers, Tom Schrijvers, Bart Demoen, Peter Van Weert, Jon Sneyers, Tom Schrijvers, Bart Demoen - 2006
26 Abstract Interpretation for Constraint Handling Rules – Tom Schrijvers - 2005
18 User-definable rule priorities for CHR, in – L D Koninck, T Schrijvers, B Demoen
50 An overview of the swi-prolog programming environment – J Wielemaker - 2003
23 Compilation of Constraint Handling Rules – G J Duck - 2005
14 As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs – Thom Frühwirth - 2002
30 A Prolog Constraint Handling Rules compiler and runtime system – C Holzbaur, T Frühwirth
29 Parallelizing union-find in Constraint Handling Rules using confluence analysis – Thom Frühwirth - 2005
19 K.U.Leuven JCHR: a user-friendly, flexible and efficient CHR system for Java – Peter Van Weert, Tom Schrijvers, Bart Demoen - 2005
23 Frühwirth: A Linear-Logic Semantics For Constraint Handling Rules – Hariolf Betz - 2005