Code generation for Mercury (1995)

Cached

Download Links

by Thomas Conway , Fergus Henderson , Zoltan Somogyi
Venue:In Proceedings of the Twelfth International Conference on Logic Programming
Citations:13 - 5 self

Documents Related by Co-Citation

191 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
7 On the compilation of a domain-based Prolog – J F Nilsson - 1983
88 Garbage Collection in an Uncooperative Environment. Software - Practice and Experience – Hans-Juergen Boehm, Mark Weiser - 1988
1858 Foundation of Logic Programming – J W Lloyd - 1987
62 The implementation of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi , Fergus James Henderson, Thomas Charles Conway - 1995
256 The godel programming language – P M Hill, J W Lloyd - 1992
29 on a MIPS: results from a Prolog compiler for a RISC – LIPS - 1990
69 High-performance logic programming with the Aquarius Prolog compiler – P Van Roy, A Despain - 1992
33 Determinism analysis in the Mercury compiler – Fergus Henderson, Zoltan Somogyi, Thomas Conway - 1996
9 A piggy-back compiler for Prolog – J L Weiner, S Ramakrishnan - 1988
36 wamcc: Compiling Prolog to C – Philippe Codognet, Daniel Diaz - 1995
8 Declarative Debugging in Gödel – Dominic Frank Julian Binks - 1995
708 The Semantics of Predicate Logic as a Programming Language – M. H. Van Emden, R. A. Kowalski - 1976
75 Declarative error diagnosis – J W Lloyd - 1987
1204 The temporal logic of programs – A Pnueli - 1977
141 A Polymorphic Type System For Prolog – A Mycroft, R O'Keefe - 1984
54 The execution algorithm of Mercury, an e#cient purely declarative logic programming language – Z Somogyi, F Henderson, T Conway - 1996
1 Big facts, void variables, the WAM and exo-compilation – Vitor Santos Costa, Vitor Santos Costa, Vitor Santos Costa, Bart Demoen, Bart Demoen, Bart Demoen, Phuong-lan Nguyen - 2007
8 Instruction Merging and Specialization in the SICStus Prolog Virtual Machine – Henrik Nässén, Henrik N Ass En, Mats Carlsson, Konstantinos Sagonas