Imperative-program transformation by instrumented-interpreter specialization

DOI10.1007/s10990-008-9027-3zbMath1176.68103OpenAlexW2072918649MaRDI QIDQ2271898

Søren Debois

Publication date: 4 August 2009

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-008-9027-3

zbMATH Keywords

program transformationpartial evaluationMoore automatainterpretive approachcode duplication

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

Self-generating program specializers ⋮ An investigation of Jones optimality and BTI-universal specializers

Cites Work

• Transformation by interpreter specialisation
• Simple relational correctness proofs for static analyses and program transformations
• Proving correctness of compiler optimizations by temporal logic
• Static and dynamic program compilation by interpreter specialization
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Imperative-program transformation by instrumented-interpreter specialization