Software engineers are faced with a dilemma. They want to write general and wellstructured
programs that are flexible and easy to maintain. On the other hand, generality has a price …

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

A supercompiler is a program transformer of a certain type. It traces the possible generalized
histories of computation by the original program, and compiles an equivalent program …

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

We introduce a positive supercompiler, a version of Turchin's supercompiler maintaining
only positive information during transformation, and using folding without generalization …

Mixed computation is processing of an incomplete information. Its product are a partially
processed information and a so-called residual program destined to complete in sequel the …

Partial evaluation is becoming ever more promising as a programming tool. Early partial
evaluators depended over much on the source program being written in a particular style …

A partial evaluator for Prolog takes a program and a query and returns a program
specialized for all instances of that query. The intention is that the generated program will …

Experiments on generating compilers by specializing specializers with respect to
interpreters have shown that the compilers thus obtained have a natural structure only if the …

The present paper describes the ideas behind a simple, self-applicable partial evaluator
called Mix as well as its structure. This partial evaluator was developed at DIKU (by Nell D …