Abstract
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.
| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Higher-Order and Symbolic Computation |
| Vol/bind | 21 |
| Udgave nummer | 1-2 |
| Sider (fra-til) | 37-58 |
| Antal sider | 22 |
| ISSN | 1388-3690 |
| Status | Udgivet - 15 apr. 2008 |
Emneord
- Partial evaluation
- interpretive approach
- imperative program transformation
- code duplication
- Moore automata