Imperative-program transformation by instrumented-interpreter specialization

Søren Debois. Imperative-program transformation by instrumented-interpreter specialization. Higher-Order and Symbolic Computation, 21(1-2):37-58, 2008. [doi]

Abstract

Abstract is missing.