Nilsson, U. (1988). Toward a Framework for the Abstract Interpretation of Logic Programs. Technical Report LiTH-IDA-R-88-44, Department of Computer and Information Science, Linköping University, Sweden. (bibtex),
Abstract: A new framework for abstract interpretation of logic programs is presented. The idea is to take as the basis a simplified semantics that approximates the standard operational semantics of logic programs but still makes it possible to derive non-trivial abstract interpretations. The relative simplicity of the basic semantics facilitates systematic derivation of abstract interpretations and static analyses of logic programs. Sufficient conditions for termination and correctness of the derived interpreters are provided. The approach is illustrated by inferring groundness information for an example program.
CS Dept TR Overview