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

Active Bibliography

7 Logic Programming for the Real World – Zoltan Somogyi, Fergus Henderson, Thomas Conway, Richard O'Keefe - 1995
13 Code generation for Mercury – Thomas Conway, Fergus Henderson, Zoltan Somogyi - 1995
191 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
62 The implementation of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi , Fergus James Henderson, Thomas Charles Conway - 1995
8 Binding-Time Analysis for Mercury – Wim Vanhoof, Maurice Bruynooghe - 1999
11 Pruning in Logic Programming – Lee Naish - 1995
16 Compiling logic programs to C using GNU C as a portable assembler – Fergus Henderson, Thomas Conway, Zoltan Somogyi - 1995
6 Typed static analysis: Application to groundness analysis of Prolog and lambda-Prolog – Olivier Ridoux, Patrice Boizumault - 1999
2 Effective Meta-programming in Declarative Languages – Antony Francis Bowers - 1998
Moving SWI and Yap gradually to Typed Prolog – Tom Schrijvers, Vitor Santos Costa, Jan Wielemaker, Bart Demoen
EL PRESIDENTE LOS VOCALES – Análisis Y Verificación De, Programas Modulares, Jesús Correas Fernández, Licenciado En Informática, Facultad De Informática, Candidato Jesús Correas, Licenciado En Informática, Germán Puebla, Licenciado En Informática, El Secretario, A Beatriz Agradecimientos
Logic and Abstraction, Verification and Falsification – Jan-georg Smaus - 2008
4 Improving Precision of Type Analysis Using Non-Discriminative Union 47 – Lunjin Lu - 2003
3 Domain Construction for Mode Analysis of Typed Logic Programs – Jan-Georg Smaus, Pat Hill, Andy King - 1997
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs – Roychoudhury Ramakrishnan Ramakrishnan, A. Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan - 1998
2 Making a Success out of Early Failures – Abhik Roychoudhury, C. R. Ramakrishnan, I.V. Ramakrishnan, R. C. Sekar - 1997
Lazy Type Checking in Functional Logic Programming – Jesús M. Almendros-Jiménez
4 On the Use of Types in Logic Programming – Gregor Meyer - 1996
9 Type Checking and Type Inferencing for Logic Programs with Subtypes and Parametric Polymorphism – Gregor Meyer - 1996