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

Active Bibliography

53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
11 Extending Arbitrary Solvers with Constraint Handling Rules – Gregory J. Duck, Peter J. Stuckey, Maria Garcia De La Banda, Christian Holzbaur - 2003
14 To the Gates of HAL: a HAL tutorial – Maria Garcia de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey
10 Integration and Optimization of Rule-based Constraint Solvers – Slim Abdennadher, Thom Frühwirth - 2004
32 Sound and Decidable Type Inference for Functional Dependencies – Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, Martin Sulzmann - 2004
1 Building Constraint Solvers with HAL – María García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur
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
Practical Aspects for a working Compile Time Garbage Collection System for Mercury – Gerda Janssens, Gerda Janssens, Maurice Bruynooghe, Maurice Bruynooghe, Nancy Mazur, Nancy Mazur, Nancy Mazur, Peter Ross, Peter Ross, Peter Ross - 2001
9 A module based analysis for memory reuse in Mercury – Nancy Mazur, Gerda Janssens, Maurice Bruynooghe - 2000
16 A Framework for Analysis of Typed Logic Programs – Vitaly Lagoon, Peter J. Stuckey - 2001
5 Practical Aspects for a Working Compile Time Garbage Collection System for Mercury – Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe - 2001
Compiling the HAL variable to Mercury – Bart Demoen, María García de la Banda, Bart Demoen, Warwick Harvey, Kim Marriott, Kim Marriott, Kim Marriott, Peter Schachte, Peter Schachte, Peter Schachte, Peter Stuckey, Peter Stuckey, Peter Stuckey
6 Herbrand Constraint Solving in HAL – Bart Demoen, Maria García de la Banda, Warwick Harvey, Kim Marriott, Peter Stuckey - 1999
Global variables in HAL, a logic implementation – Bart Demoen, Marría García de la Banda, Kim Marriott, Peter Schachte, Peter Stuckey - 1998
3 Analysis of Polymorphically Typed Logic Programs Using ACI-Unification – Jan-Georg Smaus - 2001
44 An Overview of HAL – Bart Demoen, Maria García de la Banda, Warwick Harvey, Kim Marriott, Peter Stuckey - 1999
2 Mode Checking in HAL – María García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott, Kim
6 Paving the Roadmaps: Enabling and Integration Technologies – Danny De Schreye, Manuel Hermenegildo, Luis Moniz Pereira
Extracting Programs from . . . – Martin Sulzmann - 2006