Abstract interpretation is a theory of semantics approximation that is used for the
construction of semantic-based program analysis algorithms (sometimes called “data flow …

In order to contribute to the solution of the software reliability problem, tools have been
designed to analyze statically the run-time behavior of programs. Because the correctness …

Traditional schemes for abstract interpretation-based global analysis of logic programs
generally focus on obtaining procedure-argument mode and type information. Variable …

Logic programming | Guide books skip to main content ACM Digital Library home ACM home
Google, Inc. (search) Advanced Search Browse About Sign in Register Advanced Search …

Motivation Scientists increasingly rely on intelligent information systems to help them in their
daily tasks, in particular for managing research objects, like publications or datasets. The …

In this paper, abstract interpretation algorithms are described for computing the sharmg as
well as the freeness information about the run-time instantiations of program variables. An …

The central component of standard approaches to compile-time program analysis is an
abstract domain for approximating program values. Importantly, the domain must be chosen …

Abstract interpretation of PROLOG programs has attracted many researchers in recent
years, partly because of the potential for optimization in PROLOG compilers and partly …

A PROLOG compiler specializes the code for unification between calls and clause heads as
they appear in the program. This code could be further specialized, yielding more efficient …

This article considers static analysis based on abstract interpretation of logic programs over
combined domains. It is known that analyses over combined domains provide more …