Effectiveness of an optimizing compiler for arithmetic expressions
Effectiveness of an optimizing compiler for arithmetic expressions is a scholarly work, published in 1970 in ''ACM SIGPLAN Notices''. The main subjects of the publication include interprocedural optimization, program analysis, optimizing compiler, computer science, set, loop optimization, biological function, programming language, compiler, correctness, simple, floating point, Compiler correctness, and parallel computing. This paper defines the notion of effectiveness of an optimizing compiler and presents a proof that a simple optimizing compiler is effective.