|
7
|
Compiling Mercury to high-level C code
– Fergus Henderson, Zoltan Somogyi
- 2001
|
|
175
|
The execution algorithm of Mercury, an efficient purely declarative logic programming language
– Zoltan Somogyi, Fergus Henderson, Thomas Conway
- 1996
|
|
7
|
Status of the Mercury system
– Zoltan Somogyi, Fergus Henderson, Thomas Conway, Andrew Bromage, Tyson Dowd, David Jeffery, Peter Ross, Peter Schachte, Simon Taylor
- 1996
|
|
13
|
Code generation for Mercury
– Thomas Conway, Fergus Henderson, Zoltan Somogyi
- 1995
|
|
4
|
A comparison of some schemes for translating logic to C.
– Bart Demoen, Greet Maris
- 1994
|
|
|
Multiple Specialization through Local Analysis
– Michel Ferreira, Luís Damas, Michel Ferreira
- 1998
|
|
27
|
A Compiler for Natural Semantics
– Mikael Pettersson
- 1996
|
|
8
|
Binding-Time Analysis for Mercury
– Wim Vanhoof, Maurice Bruynooghe
- 1999
|
|
30
|
Determinism analysis in the Mercury compiler
– Fergus Henderson, Zoltan Somogyi, Thomas Conway
- 1996
|
|
7
|
A choice-point library for backtrack programming
– Pierre-etienne Moreau
- 1998
|
|
4
|
Practical declarative debugging of Mercury programs
– Ian Douglas Maclarty
- 2005
|
|
7
|
High-level Management of Computation History for the Design and Implementation of a Prolog System
– Vincenzo Loia
- 1992
|
|
4
|
Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology
– Paul Tarau, Koen De Bosschere, Bart Demoen
- 1996
|
|
14
|
Detection And Optimization Of Suspension-Free Logic Programs
– Saumya Debray, David Gudeman, Peter Bigot, Peter
- 1996
|
|
6
|
A Simple Approach To Supporting Untagged Objects In Dynamically Typed Languages
– Peter A. Bigot, Saumya K. Debray, Saumya, K. Debray
|
|
9
|
Resource-Passing Concurrent Programming
– Kazunori Ueda
|
|
1
|
Improving the Compilation of Prolog to C Using Type and Determinism Information: Preliminary Results
– J. Morales, M. Carro, M. Hermenegildo
- 2003
|
|
11
|
Improved Compilation of Prolog to C Using Moded Types and Determinism Information
– J. Morales, M. Carro, M. Hermenegildo
- 2004
|
|
5
|
Prological Features In A Functional Setting Axioms And Implementations
– Ralf Hinze
- 1998
|
