Imperative-program transformation by instrumented-interpreter specialization

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review


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.
Original languageEnglish
JournalHigher-Order and Symbolic Computation
Issue number1-2
Pages (from-to)37-58
Number of pages22
Publication statusPublished - 15 Apr 2008

Cite this