The rst article reporting a running nontrivial self-applicable partial evaluator appeared in1985 [18]. It described the results of one year's intense work done by Peter Sestoft, Harald Sndergaard, and myself at DIKU; work which has since led to much activity worldwide. Its signi cance was that it for the rst time demonstrated in practice the feasibility of generating both compilers and a compiler generator by selfapplication of a partial evaluator: a possiblity which had been foreseen in principle by Yoshihiki Futamura in 1971, and independently by others soon after
Tracing and partial evaluation have been proposed as meta-compilation techniques for interpreters. T...
interpretation versus type inference (second revised version). (This article is believed to be unpub...
Optimizing compilers continue to be critical tools in all software development processes. Even more ...
) Lars Ole Andersen DIKU, Department of University of Copenhagen, Universitetsparken 1, DK 2100 Cop...
Partial evaluation has been the subject of rapidly increasing activity over the past decade since it...
: As partial evaluation gets more mature, it is now possible to use this program transformation tech...
. A partial evaluator, given a program and a known "static" part of its input data, output...
AbstractMixed computations and partial evaluation are powerful programming tools which any be used f...
AbstractHitherto all partial evaluators have processed a complete program to produce a complete resi...
We revisit Bondorf and Palsberg's compilation of actions using< the offline syntax-directed partial ...
This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. Th...
Partial evaluation is a source to source program transformation that makes use of symbolic interpre-...
Partial evaluation is becoming very promising as a programming tool, as its practice is now well dev...
International audiencePartial evaluation is a program-transformation technique that automatically sp...
A supercompiler is a program which can perform a deep transformation of programs using a principle w...
Tracing and partial evaluation have been proposed as meta-compilation techniques for interpreters. T...
interpretation versus type inference (second revised version). (This article is believed to be unpub...
Optimizing compilers continue to be critical tools in all software development processes. Even more ...
) Lars Ole Andersen DIKU, Department of University of Copenhagen, Universitetsparken 1, DK 2100 Cop...
Partial evaluation has been the subject of rapidly increasing activity over the past decade since it...
: As partial evaluation gets more mature, it is now possible to use this program transformation tech...
. A partial evaluator, given a program and a known "static" part of its input data, output...
AbstractMixed computations and partial evaluation are powerful programming tools which any be used f...
AbstractHitherto all partial evaluators have processed a complete program to produce a complete resi...
We revisit Bondorf and Palsberg's compilation of actions using< the offline syntax-directed partial ...
This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. Th...
Partial evaluation is a source to source program transformation that makes use of symbolic interpre-...
Partial evaluation is becoming very promising as a programming tool, as its practice is now well dev...
International audiencePartial evaluation is a program-transformation technique that automatically sp...
A supercompiler is a program which can perform a deep transformation of programs using a principle w...
Tracing and partial evaluation have been proposed as meta-compilation techniques for interpreters. T...
interpretation versus type inference (second revised version). (This article is believed to be unpub...
Optimizing compilers continue to be critical tools in all software development processes. Even more ...