A practical framework for theabstract interpretation of logic programs
- 28 February 1991
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 10 (2) , 91-124
- https://doi.org/10.1016/0743-1066(91)80001-t
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Inductive assertion method for logic programsPublished by Springer Nature ,2005
- Towards a framework for the abstract interpretation of logic programsPublished by Springer Nature ,1989
- Automatic mode inference for logic programsThe Journal of Logic Programming, 1988
- 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 fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- The design of the GIER ALGOL compiler Part IIBIT Numerical Mathematics, 1963