Imperative-program transformation by instrumented-interpreter specialization

We describe how to implement strength reduction, loop-invariant code motion and loop quasi-invariant code motion by specializing instrumented interpreters. To curb code duplication intrinsic to such specialization, we introduce a new program transformation, rewinding, which uses Moore-automata minimization to remove duplicated code.

• Type: Journal
• Year: 2008
• Where: LISP
• Authors: Søren Debois
• Keywords: Code Motion, LISP 2008, Loop-invariant Code Motion, Quasi-invariant Code Motion