Griswold’s 1st approach
Griswold developed an approach to meaning-preserving restructuring (as I said last week)
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