Herbrand Constraint Solving in HAL (1999)

by Bart Demoen , Maria García de la Banda , Warwick Harvey , Kim Marriott , Peter Stuckey
Citations:6 - 2 self

Active Bibliography

44 So many WAM variations, so little time. – Bart Demoen, Phuong-Lan Nguyen
49 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
4 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
15 Detection And Optimization Of Suspension-Free Logic Programs – Saumya Debray, David Gudeman, Peter Bigot, Peter - 1996
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
14 To the Gates of HAL: a HAL tutorial – Maria Garcia de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey
1 Building Constraint Solvers with HAL – María García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur
41 Optimizing Compilation of Constraint Handling Rules – Christian Holzbaur, María García de la Banda, David Jeffery, Peter J. Stuckey - 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
2 Combining an improvement to PARMA trailing with analysis in HAL – Tom Schrijvers - 2002