Imperative-program transformation by instrumented-interpreter specialization

Søren Debois

Imperative-program transformation by instrumented-interpreter specialization

Computer Science

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

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

Citationsformater

@article{78ce8300dcc911dda259000ea68e967b,

title = "Imperative-program transformation by instrumented-interpreter specialization",

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.",

keywords = "Partial evaluation, interpretive approach, imperative program transformation, code duplication, Moore automata",

author = "S{\o}ren Debois",

note = "Paper id:: 10.1007/s10990-008-9027-3",

year = "2008",

month = apr,

day = "15",

language = "English",

volume = "21",

pages = "37--58",

journal = "Higher-Order and Symbolic Computation",

issn = "1388-3690",

publisher = "Springer New York LLC",

number = "1-2",

}

TY - JOUR

T1 - Imperative-program transformation by instrumented-interpreter specialization

AU - Debois, Søren

N1 - Paper id:: 10.1007/s10990-008-9027-3

PY - 2008/4/15

Y1 - 2008/4/15

N2 - 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.

AB - 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.

KW - Partial evaluation

KW - interpretive approach

KW - imperative program transformation

KW - code duplication

KW - Moore automata

M3 - Journal article

SN - 1388-3690

VL - 21

SP - 37

EP - 58

JO - Higher-Order and Symbolic Computation

JF - Higher-Order and Symbolic Computation

IS - 1-2

ER -

Imperative-program transformation by instrumented-interpreter specialization

Abstract

Fingeraftryk

Citationsformater