Static analysis of logic programs for independent and parallelism
Authors:
- Dean JacobsDJDean Jacobs
- Anno LangenALAnno Langen
- 1 July 1992
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 13 (2-3) , 291-314
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Compilation of logic programs for restricted and-parallelism1988
- Parallel Execution of Logic Programs1987
- Parallel Unification Scheduling in Prolog1986
- Parallel interpretation of logic programs1981
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977