0 references
Effectiveness of an optimizing compiler for arithmetic expressions
1970pp. 101–126
Abstract
This paper defines the notion of effectiveness of an optimizing compiler and presents a proof that a simple optimizing compiler is effective. An optimizing compiler typically consists of a basic compiler and a set of optimizations for special cases. The fundamental notion of effectiveness is that the basic compiler is correct, all of the optimization transformations preserve correctness, and produce essentially equivalent programs which have a smaller value relative to a specified weighting function.
Related Papers
- → The use of compiler optimizations for embedded systems software(2008)7 cited
- → A compiler for teaching about compilers(2003)30 cited
- → Effectiveness of an optimizing compiler for arithmetic expressions(1970)1 cited
- → Optimization aspects of compiler- compilers(1970)3 cited
- → Effectiveness of an optimizing compiler for arithmetic expressions(1970)