Determinism analysis in the Mercury compiler (1996)

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

Active Bibliography

200 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
13 Code generation for Mercury – Thomas Conway, Fergus Henderson, Zoltan Somogyi - 1995
7 Logic Programming for the Real World – Zoltan Somogyi, Fergus Henderson, Thomas Conway, Richard O'Keefe - 1995
63 The implementation of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi , Fergus James Henderson, Thomas Charles Conway - 1995
6 Determinacy and Determinacy Analysis – Patricia M Hill, Andy M King - 1995
250 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
Subject Reduction of Logic Programs as Proof-Theoretic Property – Pierre Deransart - 2002
17 Compiling logic programs to C using GNU C as a portable assembler – Fergus Henderson, Thomas Conway, Zoltan Somogyi - 1995
10 Binding-Time Analysis for Mercury – Wim Vanhoof, Maurice Bruynooghe - 1999