Determinism analysis in the Mercury compiler (1996)

by Fergus Henderson , Zoltan Somogyi , Thomas Conway
Venue:In Proceedings of the Australian Computer Science Conference
Citations:33 - 5 self

Documents Related by Co-Citation

88 Garbage Collection in an Uncooperative Environment. Software - Practice and Experience – Hans-Juergen Boehm, Mark Weiser - 1988
32 Cardinality Analysis of Prolog – C. Braem, B. Le Charlier, S. Modart, P. Van Hentenryck - 1994
191 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
118 Non-Failure Analysis for Logic Programs – Saumya Debray, Pedro López-García, Manuel Hermenegildo - 1997
13 Detecting Determinate Computations by Bottom-up Abstract Interpretation – Roberto Giacobazzi, Laura Ricci - 1992
20 Extracting Determinacy in Logic Programs – Steven Dawson, C. R. Ramakrishnan, I.V. Ramakrishnan, R. C. Sekar - 1993
63 A Regular Type Language for Logic Programs – Philip W Dart, Justin Zobel - 1992
84 Combined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation – K Muthukumar, M Hermenegildo - 1990
23 Propagating Constraints in Recursive Deductive Databases – David Kemp, Krishnamurthy Meenakshi, Isaac Balbin, Kotagiri Ramamohanarao - 1989
256 The godel programming language – P M Hill, J W Lloyd - 1992
54 The execution algorithm of Mercury, an e#cient purely declarative logic programming language – Z Somogyi, F Henderson, T Conway - 1996
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
16 Compiling logic programs to C using GNU C as a portable assembler – Fergus Henderson, Thomas Conway, Zoltan Somogyi - 1995
249 Warren’s Abstract Machine: A Tutorial Reconstruction – Hassan Aït-Kaci - 1991
396 Theory and Practice of Constraint Handling Rules – Thom Frühwirth - 1998
122 Deriving description of possible values of program variables by means of abstract interpretation – G Janssens, M Bruynooghe - 1992
25 Answer Sets and Negation as Failure – K Kunen - 1987
219 and K.Marriott. Unification Revisited – J-L Lassez, M J Maher - 1988