We implement strength reduction and loop-invariant code motion by specializing instrumented interpreters; we define a novel program transformation that uses bisimulation to identify and remove code duplication in residual programs; and we discover that some simple classical optimizations, notably constant-propagation, seemingly do not lend themselves to implementation by specialization of instrumented interpreters
Partial evaluation is a source to source program transformation that makes use of symbolic interpre-...
This paper concerns the use of program slicing to perform a certain kind of program-specialization o...
: As partial evaluation gets more mature, it is now possible to use this program transformation tech...
We implement strength reduction and loop-invariant code motion by specializing instrumented interpre...
Abstract. We describe how to implement strength reduction, loop-invariant code motion and loop quasi...
Program specialization is a collection of program transformation techniques for improving program ef...
Partial evaluation is an automatic program transformation that optimizes programs by specialization....
Program specialization is a program transformation methodology which improves program efficiency by ...
Abstract. Writing performance-critical programs can be frustrating because optimizing compilers for ...
AbstractA compiler optimization is sound if the optimized program that it produces is semantically e...
Program specialization is a collection of program transformation techniques for improving program ef...
Partial evaluation is a high-level optimization technique that, given a program text and some of its...
Program manipulation is the task to perform transformations on program code, and is normally done in...
Finite differencing is a program optimization method that generalizes strength reduction, and provid...
Abstract. Optimizations in a traditional compiler are applied sequentially, with each optimization d...
Partial evaluation is a source to source program transformation that makes use of symbolic interpre-...
This paper concerns the use of program slicing to perform a certain kind of program-specialization o...
: As partial evaluation gets more mature, it is now possible to use this program transformation tech...
We implement strength reduction and loop-invariant code motion by specializing instrumented interpre...
Abstract. We describe how to implement strength reduction, loop-invariant code motion and loop quasi...
Program specialization is a collection of program transformation techniques for improving program ef...
Partial evaluation is an automatic program transformation that optimizes programs by specialization....
Program specialization is a program transformation methodology which improves program efficiency by ...
Abstract. Writing performance-critical programs can be frustrating because optimizing compilers for ...
AbstractA compiler optimization is sound if the optimized program that it produces is semantically e...
Program specialization is a collection of program transformation techniques for improving program ef...
Partial evaluation is a high-level optimization technique that, given a program text and some of its...
Program manipulation is the task to perform transformations on program code, and is normally done in...
Finite differencing is a program optimization method that generalizes strength reduction, and provid...
Abstract. Optimizations in a traditional compiler are applied sequentially, with each optimization d...
Partial evaluation is a source to source program transformation that makes use of symbolic interpre-...
This paper concerns the use of program slicing to perform a certain kind of program-specialization o...
: As partial evaluation gets more mature, it is now possible to use this program transformation tech...
DOI
Add to ORKG