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

491 An Abstract Prolog Instruction Set – D H D Warren - 1983
69 High-performance logic programming with the Aquarius Prolog compiler – P Van Roy, A Despain - 1992
249 Warren’s Abstract Machine: A Tutorial Reconstruction – Hassan Aït-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
30 A Minimal Extension of the WAM for clp(fd – P Codognet, D Diaz - 1993
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
4 La machine LLM3 – J Chailloux - 1985
44 Design and Implementation of an OR-Parallel Prolog Engine – M Carlsson - 1990
53 Warren's Abstract Machine, A Tutorial Reconstruction – Hassan A't-Kaci - 1991
68 Constraint processing in cc(FD) – Pascal Van Hentenryck, Vijay Saraswat, Yves Deville - 1992
62 The implementation of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi , Fergus James Henderson, Thomas Charles Conway - 1995
26 Turbo erlang: Approaching the speed of C – B Hausman - 1994
256 The godel programming language – P M Hill, J W Lloyd - 1992
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
67 C--: A Portable Assembly Language That Supports Garbage Collection – Simon Peyton Jones, Norman Ramsey, Fermin Reig - 1999
133 Introduction to Constraint Logic Programming – K Marriott, P J Stuckey - 1998