Lecture notes in computer science vol:592 pages:240-262
Logic Programming, First Russian Conference on Logic Programming, Irkutsk, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, 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.