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

• Type: Conference
• Year: 2004
• Where: PEPM
• Authors: Søren Debois
• Keywords: Code Duplication, Instrumented Interpreters, Loop-invariant Code Motion, PEPM 2004, Software Engineering