Imperative-program transformation by instrumented-interpreter specialization.

Published in: High. Order Symb. Comput. (2008)

Keyphrases

control program
linear transformation
programming language
production system
computer programs
data sets
case study
test cases
programming environment
program execution