Compiling Mercury to high-level C code (2001)


Download Links

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

Active Bibliography

200 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
348 CCured: Type-Safe Retrofitting of Legacy Code – George C. Necula, Scott McPeak, Westley Weimer - 2002
17 Compiling logic programs to C using GNU C as a portable assembler – Fergus Henderson, Thomas Conway, Zoltan Somogyi - 1995
227 Dynamic storage allocation: A survey and critical review – Paul R. Wilson, Mark S. Johnstone, Michael Neely, David Boles - 1995
206 Dynamic Software Updating – Michael Hicks - 2001
6 Compiling Mercury to the .NET Common Language Runtime – Tyson Dowd, Fergus Henderson, Peter Ross
179 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
159 Compiling Constraints in clp(FD) – Philippe Codognet, Daniel Diaz - 1996