To the Gates of HAL: a HAL tutorial

by Maria Garcia de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey
Citations:14 - 8 self

Active Bibliography

44 An Overview of HAL – Bart Demoen, Maria García de la Banda, Warwick Harvey, Kim Marriott, Peter Stuckey - 1999
1 Building Constraint Solvers with HAL – María García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur
53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
23 When Do Bounds and Domain Propagation Lead to the Same Search Space – Christian Schulte, Peter J. Stuckey - 2001
Programming Systems – Andreas Rossberg, Martin Sulzmann
Extracting Programs from . . . – Martin Sulzmann - 2006
5 Practical Aspects for a Working Compile Time Garbage Collection System for Mercury – Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe - 2001
Trying Out Alternatives for Type Class Support in a new back end for HAL – Bart Demoen, María García de la Banda, Peter J. Stuckey
Beyond Type Classes – Andreas Rossberg, Martin Sulzmann - 2002
Improving PARMA trailing – Tom Schrijvers, Bart Demoen, Maria Garcia De La Banda, Peter J. Stuckey - 2004
11 Extending Arbitrary Solvers with Constraint Handling Rules – Gregory J. Duck, Peter J. Stuckey, Maria Garcia De La Banda, Christian Holzbaur - 2003
5 Pos(T): Analyzing Dependencies in Typed Logic Programs – Maurice Bruynooghe, Wim Vanhoof, Michael Codish - 2001
41 Optimizing Compilation of Constraint Handling Rules – Christian Holzbaur, María García de la Banda, David Jeffery, Peter J. Stuckey - 2001
8 Binding-Time Analysis for Mercury – Wim Vanhoof, Maurice Bruynooghe - 1999
3 Adding constraint solving to Mercury – Ralph Becket, Maria Garcia De La B, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace - 2006
4 Optimization of Mercury programs – Simon Taylor, Supervisor Dr. Zoltan Somogyi - 1998
50 The Computational Power and Complexity of Constraint Handling Rules – Jon Sneyers, Tom Schrijvers, Bart Demoen - 2005
2 Mode Checking in HAL – María García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott, Kim
4 Type processing by constraint reasoning – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2006