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
774 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
789 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
397 Theory and Practice of Constraint Handling Rules – Thom Frühwirth - 1998
368 The design and implementation of hierarchical software systems with reusable components – Don Batory - 1992
333 Theorems for free! – Philip Wadler - 1989
262 A Scheme for Integrating Concrete Domains into Concept Languages – Franz Baader, Philipp Hanschke - 1991