Erratum: An axiomatic approach to code optimization for expressions

James C. Beatty. Erratum: An axiomatic approach to code optimization for expressions . Journal of the ACM, 20(3):538, 1973. [doi]

Abstract

Abstract is missing.