On Abstracting the Procedural Behaviour of Logic Programs.
Gerda Janssens, Maurice Bruynooghe · 1991
Abstract interpretation is a widely applied method for doing static analysis of logic programs. A diversity of formalisms and applications have appeared in the literature. This paper describes at a rather informal level our formalism based on AND-OR-graphs and compares it with the approach based on denotational semantics.