Griswold’s 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