Dever, Michael; Hamilton, Geoff W.
(META 2012, 2012)
Program transformation is a popular technique for attempting
to improve the e ciency of a program. At a high level, program transformation
is the process of taking an input program and transforming
it into an improved ...