) Lars Ole Andersen DIKU, Department of University of Copenhagen, Universitetsparken 1, DK 2100 Copenhagen Ø, Denmark. E-mail: lars@diku.dk Abstract. A partial evaluator is a program transformator which as input take a program and parts of its input, and as output produce a specialized residual program. When applied to the rest of the input data, the residual program yields same result as the orignal program. The aim is efficiency: the residual program often runs an order of magnitude faster. We have developed a self-applicable partial evaluator for a substantial subset of the C programming language. The possibility of self-application enables generation of stand-alone compilers from executable specifications, for example interpreters. 1 ...
Abstract. Partial evaluation is a program transformation that automatically specializes a program wi...
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...
A partial evaluator is an automatic program transformation tool. Given as input a general program an...
As partial evaluation gets more mature, it is now possible to use this program transformation techni...
. A partial evaluator, given a program and a known "static" part of its input data, output...
Partial evaluation has been the subject of rapidly increasing activity over the past decade since it...
Partial evaluation is a high-level optimization technique that, given a program text and some of its...
. We have developed and implemented a partial evaluator for a subset of Fortran 77. A partial evalua...
International audiencePartial evaluation is a program-transformation technique that automatically sp...
The rst article reporting a running nontrivial self-applicable partial evaluator appeared in1985 [1...
A partial evaluator for Prolog takes a program and a query and returns a program specialized for all...
Partial evaluation is an automatic program transformation that optimizes programs by specialization....
Abstract. A partial evaluator, given a program and a known “static” part of its input data, outputs ...
Abstract. We have developed and implemented a partial evaluator for a subset of Fortran 77. A partia...
Abstract. Partial evaluation is a program transformation that automatically specializes a program wi...
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...
A partial evaluator is an automatic program transformation tool. Given as input a general program an...
As partial evaluation gets more mature, it is now possible to use this program transformation techni...
. A partial evaluator, given a program and a known "static" part of its input data, output...
Partial evaluation has been the subject of rapidly increasing activity over the past decade since it...
Partial evaluation is a high-level optimization technique that, given a program text and some of its...
. We have developed and implemented a partial evaluator for a subset of Fortran 77. A partial evalua...
International audiencePartial evaluation is a program-transformation technique that automatically sp...
The rst article reporting a running nontrivial self-applicable partial evaluator appeared in1985 [1...
A partial evaluator for Prolog takes a program and a query and returns a program specialized for all...
Partial evaluation is an automatic program transformation that optimizes programs by specialization....
Abstract. A partial evaluator, given a program and a known “static” part of its input data, outputs ...
Abstract. We have developed and implemented a partial evaluator for a subset of Fortran 77. A partia...
Abstract. Partial evaluation is a program transformation that automatically specializes a program wi...
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...