Back to Search
Start Over
Program Optimization Using Invariants.
- Source :
- IEEE Transactions on Software Engineering; Sep78, Vol. 4 Issue 5, p378-389, 12p, 1 Black and White Photograph, 14 Diagrams
- Publication Year :
- 1978
-
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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00985589
- Volume :
- 4
- Issue :
- 5
- Database :
- Complementary Index
- Journal :
- IEEE Transactions on Software Engineering
- Publication Type :
- Academic Journal
- Accession number :
- 19099858