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 …

This paper gives a theoretical foundation for partial evaluation in logic programming. Let P
be a normal program, G a normal goal, A a finite set of atoms, and P′ a partial evaluation of …

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 …

The program transformation principle called partial evaluation has interesting applications in
compilation and compiler generation. Self-applicable partial evaluators may be used for …

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 …

A meta-program, regardless of the nature of the programming language, is a program whose
data denotes another (object) program. The importance of meta-programming can be …

We discuss the use of metainterpreters for building expert systems in PROLOG. Three
issues are covered. The first is a technique for mixing a metainterpreter into an object …

State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature
and sophisticated. They allow inferring a wide variety of global properties including …

In the past, a lot of research has been done on obtaining efficient execution of programs
which are very readable but very inefficient under the standard computation rule of …