An Overview of HAL (1999)

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

Documents Related by Co-Citation

191 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
396 Theory and Practice of Constraint Handling Rules – Thom Frühwirth - 1998
44 So many WAM variations, so little time. – Bart Demoen, Phuong-Lan Nguyen
54 The execution algorithm of Mercury, an e#cient purely declarative logic programming language – Z Somogyi, F Henderson, T Conway - 1996
122 Deriving description of possible values of program variables by means of abstract interpretation – G Janssens, M Bruynooghe - 1992
491 An Abstract Prolog Instruction Set – D H D Warren - 1983
43 Metastructures vs. Attributed Variables in the Context of Extensible Unification - Applied for the Implementation of CLP Languages – Christian Holzbaur - 1992
187 Constraint Handling Rules – Thom Frühwirth - 1995
25 Dynamic attributes, their hProlog implementation, and a first evaluation – Bart Demoen - 2002
92 Operational Semantics and Confluence of Constraint Propagation Rules – Slim Abdennadher - 1997
7 Live-structure Analysis for Logic Programming Languages with Declarations – Maurice Bruynooghe, Gerda Janssens, Andreas Kagedal - 1996
5 Live-structure data analysis for Prolog – A Mulkers, W Winsborough, M Bruynooghe - 1994
786 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
33 Garca de la – Bart Demoen, Mara - 1997
219 and K.Marriott. Unification Revisited – J-L Lassez, M J Maher - 1988
99 Fast and Precise Regular Approximation of Logic Programs – J. P. Gallagher, D. A. De Waal - 1993
19 A Model for Inter-module Analysis and Optimizing Compilation – Francisco Bueno, María García de la Banda, Manuel Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey - 2000
939 A theory of type polymorphism in programming – Robin Milner - 1978
11 Type classes in Mercury – D Jeery, F Henderson, Z Somogyi - 1998