Skip to search box Skip to navigation Skip to main content

Imperative-program transformation by instrumented-interpreter specialization

Søren Debois

Research Output:

Journal Article or Conference Article in Journal

Journal article

Peer-review

Publication Information

Output type

Research Output:

Journal Article or Conference Article in Journal

Journal article

Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 37-58 (22 pages)

Journal (Volume, Issue Number)

Higher-Order and Symbolic Computation (Volume 21, Issue 1-2)

Publication milestones

Published - 15/04/2008

Publication status

Published - 15/04/2008

ISSN

1388-3690

Publication IDs

Scopus: 44649163358

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.

Publication metrics

PlumX

Citations

4

Captures

4