Abstract interpretation based on oldt resolution
- 31 January 1993
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 15 (1-2) , 1-30
- https://doi.org/10.1016/0743-1066(93)90011-5
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Enumeration of success patterns in logic programsPublished by Springer Nature ,2006
- Abstract interpretation based on Alexander TemplatesThe Journal of Logic Programming, 1993
- A practical framework for theabstract interpretation of logic programsThe Journal of Logic Programming, 1991
- Polymorphic type inference in Prolog by abstract interpretationPublished by Springer Nature ,1988
- Detection and optimization of functional computations in PrologPublished by Springer Nature ,1986
- Abstract interpretation of Prolog programsLecture Notes in Computer Science, 1986
- OLD resolution with tabulationPublished by Springer Nature ,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 fixpointsPublished by Association for Computing Machinery (ACM) ,1977