Compiling logic programs to C using GNU C as a portable assembler (1995)

by Fergus Henderson , Thomas Conway , Zoltan Somogyi
Citations:16 - 5 self

Active Bibliography

8 Compiling Mercury to high-level C code – Fergus Henderson, Zoltan Somogyi - 2001
191 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
31 A Compiler for Natural Semantics – Mikael Pettersson - 1996
8 Binding-Time Analysis for Mercury – Wim Vanhoof, Maurice Bruynooghe - 1999
33 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
5 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
15 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
10 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
13 Improved Compilation of Prolog to C Using Moded Types and Determinism Information – J. Morales, M. Carro, M. Hermenegildo - 2004
18 Benchmarking implementations of functional languages with “pseudoknot” a float-intensive benchmark – Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp - 1996