Compiling Mercury to high-level C code (2001)

Cached

Download Links

by Fergus Henderson , Zoltan Somogyi
Venue:Proceedings of the 2002 International Conference on Compiler Construction
Citations:8 - 4 self

Active Bibliography

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
191 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
16 Compiling logic programs to C using GNU C as a portable assembler – Fergus Henderson, Thomas Conway, Zoltan Somogyi - 1995
6 Compiling Mercury to the .NET Common Language Runtime – Tyson Dowd, Fergus Henderson, Peter Ross
16 The implementation technology of the Mercury debugger – Zoltan Somogyi, Fergus Henderson - 1999
49 1983--1993: The Wonder Years of Sequential Prolog Implementation – Peter Van Roy - 1993
13 Code generation for Mercury – Thomas Conway, Fergus Henderson, Zoltan Somogyi - 1995
1 Improving the Compilation of Prolog to C Using Type and Determinism Information: Preliminary Results – J. Morales, M. Carro, M. Hermenegildo - 2003
13 Improved Compilation of Prolog to C Using Moded Types and Determinism Information – J. Morales, M. Carro, M. Hermenegildo - 2004
7 A choice-point library for backtrack programming – Pierre-etienne Moreau - 1998
A New Implementation of the Icon Language – Todd Proebsting Microsoft, Todd A. Proebsting, Gregg M. Townsend - 1999
5 Simple Translation of Goal-Directed Evaluation – Todd A. Proebsting - 1997
7 High-level Management of Computation History for the Design and Implementation of a Prolog System – Vincenzo Loia - 1992
12 A Unifying Approach to Goal-Directed Evaluation – Morten Rhiger, Olivier Danvy, Olivier Danvy, Bernd Grobauer, Bernd Grobauer - 2001
1 Expressive Type Systems for Logic Programming Languages – David Jeffery - 2002
1 THE UNICONC OPTIMIZING UNICON COMPILER – Michael D. Wilder, Michael D. Wilder - 2005
5 An LLVM Backend for GHC – David A. Terei, Manuel M. T. Chakravarty
8 Binding-Time Analysis for Mercury – Wim Vanhoof, Maurice Bruynooghe - 1999
14 Accurate Garbage Collection in an Uncooperative Environment – Fergus Henderson - 2002