An Overview of HAL (1999)

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

Active Bibliography

14 To the Gates of HAL: a HAL tutorial – Maria Garcia de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey
23 When Do Bounds and Domain Propagation Lead to the Same Search Space – Christian Schulte, Peter J. Stuckey - 2001
1 Building Constraint Solvers with HAL – María García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur
4 Making Mercury Programs Tail Recursive – Peter Ross, David Overton, Zoltan Somogyi - 1999
6 Paving the Roadmaps: Enabling and Integration Technologies – Danny De Schreye, Manuel Hermenegildo, Luis Moniz Pereira
Constraint Programming – The Constraint Programming Working Group - 1996
Constraint Programming – The Constraint Programming
2 Mode Checking in HAL – María García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott, Kim
771 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
40 Flexible access control policy specification with constraint logic programming – Steve Barker, Peter J. Stuckey - 2003
2 The Systematic Generation Of Channelled Models In Constraint Satisfaction – Bernadette Martínez Hernández
5 Promoting Constraints to First-Class Status – Tobias Müller - 2000
A Generic Object-Oriented Incremental Analyser for Constraint Logic Programs – Andrew D. Kelly , Kim Marriott, Harald Søndergaard, Peter J. Stuckey - 1996
14 Run time type information in Mercury – Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas Conway, David Jeffery - 1999
2 Constraint Programming: Strategic Directions – Pascal van Hentenryck, Vijay Saraswat - 1997
4 TCLP: overloading, subtyping and parametric polymorphism made practical for constraint logic programming – Emmanuel Coquery, François Fages, Projet Contraintes Inria-rocquencourt
25 Abstract multiple Specialization and its application to program parallelization – German Puebla, Manuel Hermenegildo - 1999
3 A Generic Software Framework For Finite Domain Constraint Programming – Ka Boon Kevin Ng - 2001
11 An Assertion Language for Debugging of Constraint Logic Programs – Germán Puebla, Francisco Bueno, Manuel Hermenegildo - 1997