Global flow analysis as a practical compilation tool

This publication has 10 references indexed in Scilit:

• Or-parallel execution models of Prolog
  Published by Springer Nature ,2005
• A simple code improvement scheme for prolog
  The Journal of Logic Programming, 1992
• A technique for compiling execution graph expressions for restricted and-parallelism in logic programs
  Journal of Parallel and Distributed Computing, 1988
• Automatic mode inference for logic programs
  The Journal of Logic Programming, 1988
• Compilation of logic programs for restricted and-parallelism
  Published by Springer Nature ,1988
• Parallel Execution of Logic Programs
  Published by Springer Nature ,1987
• Abstract interpretation of Prolog programs
  Lecture Notes in Computer Science, 1986
• Compiler optimizations for the WAM
  Published by Springer Nature ,1986
• Some global optimizations for a PROLOG compiler
  The Journal of Logic Programming, 1985
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977