Add to ORKGWe 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
An interpreter can be viewed as performing two tasks: parsing and execution. Interpreters are specia...
Abstract. A partial evaluator, given a program and a known “static” part of its input data, outputs ...
We present a program interpretation technique relying on an higher order abstract syntax which allow...
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 program transformation methodology which improves program efficiency by ...
Program specialization is a collection of program transformation techniques for improving program ef...
Finite differencing is a program optimization method that generalizes strength reduction, and provid...
Program specialization is a collection of program transformation techniques for improving program ef...
Code optimization or code transformation is a complex function of a compiler involving analyses and ...
Partial evaluation is an automatic program transformation that optimizes programs by specialization....
AbstractA compiler optimization is sound if the optimized program that it produces is semantically e...
This paper concerns the use of program slicing to perform a certain kind of program-specialization o...
We present optimization techniques for high level equational programs that are generalizations of af...
Reduction in strength is a traditional transformation for speeding up loop execution on sequential p...
An interpreter can be viewed as performing two tasks: parsing and execution. Interpreters are specia...
Abstract. A partial evaluator, given a program and a known “static” part of its input data, outputs ...
We present a program interpretation technique relying on an higher order abstract syntax which allow...
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 program transformation methodology which improves program efficiency by ...
Program specialization is a collection of program transformation techniques for improving program ef...
Finite differencing is a program optimization method that generalizes strength reduction, and provid...
Program specialization is a collection of program transformation techniques for improving program ef...
Code optimization or code transformation is a complex function of a compiler involving analyses and ...
Partial evaluation is an automatic program transformation that optimizes programs by specialization....
AbstractA compiler optimization is sound if the optimized program that it produces is semantically e...
This paper concerns the use of program slicing to perform a certain kind of program-specialization o...
We present optimization techniques for high level equational programs that are generalizations of af...
Reduction in strength is a traditional transformation for speeding up loop execution on sequential p...
An interpreter can be viewed as performing two tasks: parsing and execution. Interpreters are specia...
Abstract. A partial evaluator, given a program and a known “static” part of its input data, outputs ...
We present a program interpretation technique relying on an higher order abstract syntax which allow...