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

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

Active Bibliography

193 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
8 Compiling Mercury to high-level C code – Fergus Henderson, Zoltan Somogyi - 2001
332 CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott McPeak, Westley Weimer - 2002
243 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
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
216 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
214 Dynamic storage allocation: A survey and critical review – Paul R. Wilson, Mark S. Johnstone, Michael Neely, David Boles - 1995
13 Code generation for Mercury – Thomas Conway, Fergus Henderson, Zoltan Somogyi - 1995