6
Griswold’s 1st approach
•Griswold
developed an approach to meaning-preserving restructuring
•Make a
local change
–The
tool finds global, compensating changes that ensure that the meaning of the
program is preserved
•What
does it mean for two programs to have the same meaning?
–If it
cannot find these, it aborts the local change