Code generation for Mercury (1995)

Cached

Download Links

by Thomas Conway , Fergus Henderson , Zoltan Somogyi
Venue:In Proceedings of the Twelfth International Conference on Logic Programming
Citations:13 - 5 self

Active Bibliography

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
7 Logic Programming for the Real World – Zoltan Somogyi, Fergus Henderson, Thomas Conway, Richard O'Keefe - 1995
33 Determinism analysis in the Mercury compiler – Fergus Henderson, Zoltan Somogyi, Thomas Conway - 1996
4 Precise and Expressive Mode Systems for Typed Logic Programming Languages – David Overton - 2003
16 Compiling logic programs to C using GNU C as a portable assembler – Fergus Henderson, Thomas Conway, Zoltan Somogyi - 1995
31 A Compiler for Natural Semantics – Mikael Pettersson - 1996
8 Compiling Mercury to high-level C code – Fergus Henderson, Zoltan Somogyi - 2001
11 Pruning in Logic Programming – Lee Naish - 1995
1 Improving the Compilation of Prolog to C Using Type and Determinism Information: Preliminary Results – J. Morales, M. Carro, M. Hermenegildo - 2003
13 Improved Compilation of Prolog to C Using Moded Types and Determinism Information – J. Morales, M. Carro, M. Hermenegildo - 2004
8 Binding-Time Analysis for Mercury – Wim Vanhoof, Maurice Bruynooghe - 1999
6 A three-valued semantics for Horn clause programs – Lee Naish - 1998
11 An Assertion Language for Debugging of Constraint Logic Programs – Germán Puebla, Francisco Bueno, Manuel Hermenegildo - 1997
28 Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging – M. Hermenegildo, G. Puebla, F. Bueno
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