wamcc: Compiling Prolog to C (1995)

Cached

Download Links

by Philippe Codognet , Daniel Diaz
Venue:IN 12TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
Citations:35 - 5 self

Documents Related by Co-Citation

487 An Abstract Prolog Instruction Set – David H D Warren - 1983
69 High-performance logic programming with the Aquarius Prolog compiler – P Van Roy, A Despain - 1992
247 Warren's Abstract Machine --- A Tutorial Reconstruction – Hassan Ait-Kaci - 1991
191 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
147 Compiling Constraints in clp(FD) – Philippe Codognet, Daniel Diaz - 1996
29 A Minimal Extension of the WAM for clp(FD – P Codognet, D Diaz
88 Garbage Collection in an Uncooperative Environment. Software - Practice and Experience – Hans-Juergen Boehm, Mark Weiser - 1988
29 on a MIPS: results from a Prolog compiler for a RISC – LIPS - 1990
44 Design and Implementation of an OR-Parallel Prolog Engine – M Carlsson - 1990
4 La machine LLM3 – J Chailloux - 1985
53 Warren's Abstract Machine, A Tutorial Reconstruction – Hassan A't-Kaci - 1991
62 The implementation of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi , Fergus James Henderson, Thomas Charles Conway - 1995
66 Constraint processing in cc(FD) – Pascal Van Hentenryck, Vijay Saraswat, Yves Deville - 1992
26 Turbo erlang: Approaching the speed of c – Bogumil Hausman - 1994
255 The Gödel Programming Language – Patricia M Hill, John W Lloyd - 1994
22 jc: An Efficient and Portable Sequential Implementation of Janus – David Gudeman , Koenraad De Bosschere, Saumya K. Debray - 1992
16 Compiling logic programs to C using GNU C as a portable assembler – Fergus Henderson, Thomas Conway, Zoltan Somogyi - 1995
66 C--: A Portable Assembly Language That Supports Garbage Collection – Simon Peyton Jones, Norman Ramsey, Fermin Reig - 1999
784 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996