Abstract interpretation and application to logic programs
- 31 July 1992
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 13 (2-3) , 103-179
- https://doi.org/10.1016/0743-1066(92)90030-7
Abstract
No abstract availableKeywords
This publication has 69 references indexed in Scilit:
- Abstract interpretation based on oldt resolutionThe Journal of Logic Programming, 1993
- Abstract interpretation based on Alexander TemplatesThe Journal of Logic Programming, 1993
- An analysis of loop checking mechanisms for logic programsTheoretical Computer Science, 1991
- A type system for logic programsThe Journal of Logic Programming, 1991
- Automatic mode inference for logic programsThe Journal of Logic Programming, 1988
- A kripke-kleene semantics for logic programs*The Journal of Logic Programming, 1985
- Some global optimizations for a PROLOG compilerThe Journal of Logic Programming, 1985
- Enumeration of success patterns in logic programsTheoretical Computer Science, 1984
- The design of the GIER ALGOL compiler Part IBIT Numerical Mathematics, 1963
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955