Static analysis of logic programs for independent and parallelism
- 31 July 1992
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 13 (2-3) , 291-314
- https://doi.org/10.1016/0743-1066(92)90034-z
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Compilation of logic programs for restricted and-parallelismPublished by Springer Nature ,1988
- Parallel Execution of Logic ProgramsPublished by Springer Nature ,1987
- Parallel Unification Scheduling in PrologPublished by Defense Technical Information Center (DTIC) ,1986
- Parallel interpretation of logic programsPublished by Association for Computing Machinery (ACM) ,1981
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977