|
41
|
So many WAM variations, so little time.
– Bart Demoen, Phuong-Lan Nguyen
|
|
48
|
1983--1993: The Wonder Years of Sequential Prolog Implementation
– Peter Van Roy
- 1993
|
|
|
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
|
|
2
|
Combining an Improvement to PARMA Trailing with Trailing Analysis
– Tom Schrijvers, Bart Demoen
- 2002
|
|
3
|
Precise and Expressive Mode Systems for Typed Logic Programming Languages
– David Overton
- 2003
|
|
2
|
Experiments in WAM emulators and term representations
– Bart Demoen, et al.
|
|
6
|
Towards the Global Optimization of Functional Logic Programs
– Michael Hanus
- 1994
|
|
|
Improving PARMA trailing
– Tom Schrijvers, Bart Demoen, Maria Garcia De La Banda, Peter J. Stuckey
- 2004
|
|
25
|
Abstract multiple Specialization and its application to program parallelization
– German Puebla, Manuel Hermenegildo
- 1999
|
|
14
|
Detection And Optimization Of Suspension-Free Logic Programs
– Saumya Debray, David Gudeman, Peter Bigot, Peter
- 1996
|
|
|
Building Constraint Solvers with HAL
– María García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur
- 2001
|
|
2
|
Mode Checking in HAL
– María García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott, Kim
|
|
|
Global variables in HAL, a logic implementation
– Bart Demoen, Marría García de la Banda, Kim Marriott, Peter Schachte, Peter Stuckey
- 1998
|
|
6
|
Paving the Roadmaps: Enabling and Integration Technologies
– Danny De Schreye, Manuel Hermenegildo, Luis Moniz Pereira
|
|
14
|
To the Gates of HAL: a HAL tutorial
– Maria Garcia de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey
|
|
41
|
An Overview of HAL
– Bart Demoen, Maria García de la Banda, Warwick Harvey, Kim Marriott, Peter Stuckey
- 1999
|
|
2
|
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification
– Jan-Georg Smaus
- 2001
|
|
37
|
Optimizing Compilation of Constraint Handling Rules
– Christian Holzbaur, María García de la Banda, David Jeffery, Peter J. Stuckey
- 2001
|
|
2
|
Combining an improvement to PARMA trailing with analysis in HAL
– Tom Schrijvers
- 2002
|
