Issue No.05 - September (1978 vol.4)
S. Katz , IBM-Israel Scientific Center
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.
transformations of programs, Invariants, program optimization, proof of correctness
S. Katz, "Program Optimization Using Invariants", IEEE Transactions on Software Engineering, vol.4, no. 5, pp. 378-389, September 1978, doi:10.1109/TSE.1978.233858