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

Documents Related by Co-Citation

54 The execution algorithm of Mercury, an e#cient purely declarative logic programming language – Z Somogyi, F Henderson, T Conway - 1996
191 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
249 Warren’s Abstract Machine: A Tutorial Reconstruction – Hassan Aït-Kaci - 1991
29 The Mercury Language Reference Manual – Fergus Henderson, Thomas Conway, Zoltan Somogyi, David Jeffery, Peter Schachte, Simon Taylor, Chris Speirs - 1996
16 Type Constraint Solving for Parametric and Ad-hoc Polymorphism – Bart Demoen, Maria Garcia de la Banda, Peter Stuckey - 1999
340 Programming with Constraints: An Introduction – K Marriott, P Stuckey - 1998
33 Determinism analysis in the Mercury compiler – Fergus Henderson, Zoltan Somogyi, Thomas Conway - 1996
18 A Novel Term Compression Scheme and Data Representation in the BinWAM – P Tarau, U Neumerkel - 1994
7 On Taylor's Scheme for Unbound Variables – Thomas Lindgren, Per Mildner, Johan Bevemyr - 1995
41 Other Implementation Issues in the WAM – Indexing Freeze - 1987
18 Program Transformations and WAM-support for the Compilation of Definite Metaprograms – P Tarau - 1992
97 Can Logic Programming Execute as Fast as Imperative Programming? [References] – Peter Lodewijk Van Roy, E. Tick, D. H. D. Warren, Towards Pipelined, Prolog Processor, Symposium On Logic - 1990
491 An Abstract Prolog Instruction Set – D H D Warren - 1983
4 Polymorphic Equality - No Tags Required – Martin Elsman - 1989
9 Extending the Warren Abstract Machine to Polymorphic Order-sorted Resolution – C Beierle, G Meyer, H Semele - 1991
12 A Machine-Independent Debugger – David R. Hanson, Mukund Raghavachari - 1995
19 Compiler-directed Type Reconstruction for Polymorphic Languages – Shail Aditya - 1993
30 Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction – Shail Aditya, Christine H. Flood, James E. Hicks - 1994
18 Implementing Polymorphic Typing in a Logic Programming Language – Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson - 1993