Concurrent logic languages are high-level programming languages for parallel and
distributed systems that offer a wide range of both known and novel concurrent …

Access control models, such as the ones supported by commercial DBMSs, are not yet able
to fully meet many application needs. An important requirement derives from the temporal …

This paper surveys and compares different techniques investigated in order to integrate
negation in rule-based query languages. In the context of deductive databases, a rule-based …

This paper presents an algebra of idempotent substitutions whose operations have many
properties. We provide an algorithm to compute these operations and we show how they are …

The theory of abstract interpretation provides a formal framework to develop advanced
dataflow analysis tools. The idea is to define a nonstandard semantics which is able to …

We present the basic principles and possible applications of systems capable of meta-
reasoning and reflection. After a discussion of the seminal approaches, we outline our own …

This paper considers open logic programs originally as a tool to build an OR-compositional
semantics of logic programs. We extend the original semantic definitions in the framework of …

We present a type inference system for Horn clause logic programs, based on a bottom-up
abstract interpretation technique. Through the definition of suitable abstract operators, we …

Some transformation operations for logic programs, basic for partial deduction, program
specialization, and transformation, and for program synthesis from specifications, are …

We investigate properties of logic programs that permit refinements in their fixpoint
evaluation and shed light on the choice of control strategy. A fundamental aspect of a bottom …