Optimizing Compilation of Constraint Handling Rules (2001)

Cached

Download Links

by Christian Holzbaur , María García de la Banda , David Jeffery , Peter J. Stuckey
Citations:41 - 8 self

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
23 Compilation of Constraint Handling Rules – G J Duck - 2005
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
19 K.U.Leuven JCHR: a user-friendly, flexible and efficient CHR system for Java – Peter Van Weert, Tom Schrijvers, Bart Demoen - 2005
187 Constraint Handling Rules – Thom Frühwirth - 1995
26 Adaptive constraint handling with CHR in Java – A Wolf - 2001
25 Compiling constraint handling rules into Prolog with attributed variables – Christian Holzbaur - 1999
8 Memory reuse for CHR – Jon Sneyers, Tom Schrijvers, Bart Demoen - 2006
92 Operational Semantics and Confluence of Constraint Propagation Rules – Slim Abdennadher - 1997
26 Abstract Interpretation for Constraint Handling Rules – Tom Schrijvers - 2005
30 A Prolog Constraint Handling Rules compiler and runtime system – C Holzbaur, T Frühwirth
53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
8 Accurate functional dependency analysis for Constraint Handling Rules – Gregory J. Duck, Tom Schrijvers - 2005
18 Dijkstra’s algorithm with Fibonacci heaps: An executable description – Jon Sneyers, Tom Schrijvers, Bart Demoen - 2006
8 A concurrent Constraint Handling Rules implementation in Haskell with software transactional memory – Edmund S. L. Lam - 2007
14 A Java Constraint Kit – JACK - 2001