Transformations on straight line programs - (Preliminary Version)
Alfred V. Aho, Jeffrey David Ullman · 1970
We consider a program schema that models straight line intermediate level code. A complete set of equivalence preserving transformations on programs is found for the case in which programs are equivalent if and only if their output functions are identical. This result is extended to the case in which programs are deemed equivalent if their output functions can be shown equivalent under a fixed set of algebraic laws.