Optimization of Straight Line Programs
Alfred V. Aho, Jeffrey David Ullman · SIAM Journal on Computing · 1972
We provide a set of transformations capable of transforming a straight line program into any other equivalent one assuming no algebraic laws hold. We then show that optimization of straight line code under “reasonable” cost criteria can always be accomplished by applying sequences of these transformations in a prescribed order.