Optimization Among Provably Equivalent Programs

Paul Young. Optimization Among Provably Equivalent Programs. Journal of the ACM, 24(4):693-700, 1977. [doi]

Abstract

Abstract is missing.