On the automatic simplification of computer programs

Testing for the Church-Rosser Property

Journal of the ACM (JACM)

Object code optimization

Communications of the ACM

On the automatic simplification of source-language programs

Communications of the ACM

Optimization of expressions in Fortran

Communications of the ACM

A unified approach to global program optimization

POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Transformations on straight line programs - (Preliminary Version)

STOC '70 Proceedings of the second annual ACM symposium on Theory of computing

Local optimizations

Proceedings of a symposium on Compiler optimization

A formal approach to code optimization

Proceedings of a symposium on Compiler optimization

Oh the automatic simplification of source-language programs

ACM '66 Proceedings of the 1966 21st national conference

The automatic optimization of slip routines

ACM SIGSAM Bulletin

Bibliography

Record of the Project MAC conference on concurrent systems and parallel computation