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

Partial evaluation reconciles generality with efficiency by providing automatic specialization
and optimization of programs. Proceeding from a gentle introduction for reaching state-of-the …

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

Tutorial notes on partial evaluation Page 1 Tutorial Notes on Partial Evaluation Charles Consel
Olivier Danvy Pacific Software Research Center Department of Computing and Info. Sciences …

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 …

We present an overview of some techniques which have been proposed for the
transformation of logic programs. We consider the so-called “rules+ strategies” approach …

In this tutorial the specialisation of declarative logic programs is presented. The main
correctness results are given, and the outline of a basic algorithm for partial evaluation of a …

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 …

This paper explores the spatial domain of sets of inequalities where each inequality contains
at most two variables—a domain that is richer than intervals and more tractable than general …