John Cocke, Ken Kennedy
CACM
An analysis is given for optimizing run-time range checks in regions of high execution frequency. These optimizations are accomplished using strength reduction, code motion and common subexpression elimination. Test programs, using the above optimizations, are used to illustrate run-time improvements. © 1982, ACM. All rights reserved.
John Cocke, Ken Kennedy
CACM
Christopher H. Bajorek, David A. Thompson, et al.
IEEE Transactions on Magnetics
John Cocke, Marvin Minsky
Journal of the ACM
Gregory J. Chaitin, Marc A. Auslander, et al.
Computer Languages