Intelligent Database Systems Page 1 IIWAS 2001 - Linz, Austria Pag. 1 Barbara Catania
Intelligent Database Systems Barbara Catania University of Genova (Italy) IIWAS 2001 - Linz …

Global analyzers traditionally read and analyze the entire program at once, in a
nonincremental way. However, there are many situations which are not well suited to this …

We propose a transformation system for Constraint Logic Programming (CLP) aprograms
and modules. The framework is inspired by the one of Tamaki and Sato (1984) for pure logic …

This paper illustrates the role of a class of “prop”-ositional logic programs in the analysis of
complex properties of logic programs. Analyses are performed by abstracting Prolog …

This paper describes a semantic basis for a compositional approach to the analysis of logic
programs. A logic program is viewed as consisting of a set of modules, each module …

We show how declarative diagnosis techniques can be extended to cope with verification of
operational properties, such as computed and correct answers, and of abstract properties …

In this paper we generalize the notion of compositional semantics to cope with transfinite
reductions of a transition system. Standard denotational and predicate transformer …

Context-sensitive global analysis of large code bases can be expensive, which can make its
use impractical during software development. However, there are many situations in which …

Defeasible logic is an efficient logic for defeasible reasoning. It is defined through a proof
theory and, until now, has had no model theory. In this paper a model-theoretic semantics is …

We define a semantic framework to reason about properties of abstractions of SLD-
derivations. The framework allows us to address problems such as the relation between the …