A formal approach to code optimization

Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman. A formal approach to code optimization. In Robert S. Northcote, editor, Proceedings of a Symposium on Compiler Optimization, Urbana-Champaign, Illinois, USA, July 27-28, 1970. pages 86-100, ACM, 1970. [doi]

Abstract

Abstract is missing.