Mixed computation of Prolog programs

This publication has 8 references indexed in Scilit:

• An amateur's introduction to recursive query processing strategies
  Published by Association for Computing Machinery (ACM) ,1986
• An experiment in partial evaluation: The generation of a compiler generator
  Lecture Notes in Computer Science, 1985
• Foundations of Logic Programming
  Published by Springer Nature ,1984
• Partial computation of programs
  Published by Springer Nature ,1983
• Mixed computation: potential applications and problems for study
  Theoretical Computer Science, 1982
• A supercompiler system based on the language REFAL
  ACM SIGPLAN Notices, 1979
• A partial evaluator, and its use as a programming tool
  Artificial Intelligence, 1977
• Correctness of mixed computation in ALGOL-like programs
  Published by Springer Nature ,1977