Compiling control

This publication has 9 references indexed in Scilit:

• A technique for doing lazy evaluation in logic
  The Journal of Logic Programming, 1986
• The concept of a supercompiler
  ACM Transactions on Programming Languages and Systems, 1986
• Automating control for logic programs
  The Journal of Logic Programming, 1985
• Logic programming
  Communications of the ACM, 1985
• Prolog program transformations and tree manipulation algorithms
  The Journal of Logic Programming, 1985
• Some global optimizations for a PROLOG compiler
  The Journal of Logic Programming, 1985
• Algorithm = logic + control
  Communications of the ACM, 1979
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977
• On the inference of Turing machines from sample computations
  Artificial Intelligence, 1972