Program Optimization Using Invariants

  • Shmuel Katz
  • Published 1976 in IEEE Transactions on Software Engineering


Optimizing a computer program is defined as improving the execution time without disturbing the correctness. We show how to use invariants from a proof of correctness in order to change the statement in and around the program's loops. This approach is shown to systematize existing optimization methods, and to sometimes allow stronger optimizations than are possible under the standard transformation approach.

DOI: 10.1007/3-540-07804-5_35

11 Figures and Tables

Cite this paper

@article{Katz1976ProgramOU, title={Program Optimization Using Invariants}, author={Shmuel Katz}, journal={IEEE Transactions on Software Engineering}, year={1976}, volume={SE-4}, pages={378-389} }