|
54
|
The execution algorithm of Mercury, an ecient purely declarative logic programming language
– Z Somogyi, F Henderson, T Conway
- 1996
|
|
175
|
The execution algorithm of Mercury, an efficient purely declarative logic programming language
– Zoltan Somogyi, Fergus Henderson, Thomas Conway
- 1996
|
|
231
|
Warren’s Abstract Machine: A Tutorial Reconstruction. Logic Programming
– Hassan Aït-Kaci
- 1991
|
|
27
|
The Mercury Language Reference Manual
– Fergus Henderson, Thomas Conway, Zoltan Somogyi, David Jeffery, Peter Schachte, Simon Taylor, Chris Speirs
- 1996
|
|
14
|
Type Constraint Solving for Parametric and Ad-hoc Polymorphism
– Bart Demoen, Maria Garcia de la Banda, Peter Stuckey
- 1999
|
|
308
|
Programming with Constraints: An Introduction
– Kim Marriott, Peter Stuckey
- 1998
|
|
30
|
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
|
|
17
|
Program transformations and WAMsupport for the compilation of de nite metaprograms
– P Tarau
- 1992
|
|
7
|
On Taylor's Scheme for Unbound Variables
– Thomas Lindgren, Per Mildner, Johan Bevemyr
- 1995
|
|
41
|
Freeze, indexing, and other implementation issues in the WAM
– M Carlsson
- 1987
|
|
95
|
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
|
|
474
|
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
|
|
18
|
Compiler-directed Type Reconstruction for Polymorphic Languages
– Shail Aditya
- 1993
|
|
38
|
Tag-free garbage collection for strongly typed programming languages
– Benjamin Goldberg
- 1991
|
|
17
|
Implementing Polymorphic Typing in a Logic Programming Language
– Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson
- 1993
|
