Global flow analysis as a practical compilation tool
Authors:
- M.V HermenegildoM.V Hermenegildo
- R WarrenRWR Warren
- S.K DebraySDS.K Debray
- 1 August 1992
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 13 (4) , 349-366
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A simple code improvement scheme for prologThe Journal of Logic Programming, 1992
- A technique for compiling execution graph expressions for restricted and-parallelism in logic programsJournal of Parallel and Distributed Computing, 1988
- Automatic mode inference for logic programsThe Journal of Logic Programming, 1988
- Compilation of logic programs for restricted and-parallelism1988
- Parallel Execution of Logic Programs1987
- Abstract interpretation of Prolog programsLecture Notes in Computer Science, 1986
- Compiler optimizations for the WAMLecture Notes in Computer Science, 1986
- Some global optimizations for a PROLOG compilerThe Journal of Logic Programming, 1985
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977