Sciweavers

PEPM
2004
ACM

Imperative program optimization by partial evaluation

14 years 3 months ago
Imperative program optimization by partial evaluation
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. Categories and Subject Descriptors D.3.4 [Programming Languages]: Processors—Optimization; F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages—Partial evaluation General Terms Experimentation Keywords Strength reduction, loop-invariant code motion, code duplication, bisimulation
Søren Debois
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where PEPM
Authors Søren Debois
Comments (0)