A New Module System for Prolog

This publication has 8 references indexed in Scilit:

• Effectivness of abstract interpretation in automatic parallelization: a case study in logic programming
  ACM Transactions on Programming Languages and Systems, 1999
• Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging
  1999
• The execution algorithm of mercury, an efficient purely declarative logic programming language
  The Journal of Logic Programming, 1996
• Global analysis of standard Prolog programs
  Lecture Notes in Computer Science, 1996
• Prolog: The Standard
  1996
• High-performance logic programming with the Aquarius Prolog compiler
  Computer, 1992
• Flow analysis of dynamic logic programs
  The Journal of Logic Programming, 1989
• A logical analysis of modules in logic programming
  The Journal of Logic Programming, 1989