Publication
IEEE TSE
Paper

Program Optimization Using Invariants

View publication

Abstract

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 statements 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. © 1978, IEEE. All rights reserved.

Date

01 Jan 1978

Publication

IEEE TSE

Authors

Share