A Basis for Program Optimization