|
41
|
An Overview of HAL
– Bart Demoen, Maria García de la Banda, Warwick Harvey, Kim Marriott, Peter Stuckey
- 1999
|
|
|
Building Constraint Solvers with HAL
– María García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur
- 2001
|
|
20
|
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
|
|
4
|
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
|
|
52
|
A theory of overloading
– Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
- 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
|
|
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
|
|
47
|
The Computational Power and Complexity of Constraint Handling Rules
– Jon Sneyers, Tom Schrijvers, Bart Demoen
- 2005
|
|
4
|
Type processing by constraint reasoning
– Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
- 2006
|
|
2
|
Mode Checking in HAL
– María García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott, Kim
|
|
16
|
On Proving Left Termination of Constraint Logic Programs
– Fred Mesnard, Salvatore Ruggieri
- 2001
|
