Victoria Markstein, John Cocke, et al.
ACM SIGPLAN Notices
The "profitability" of code optimizations is defined in terms of a Markov model of program flow. A system of linear equations for the expected frequency of execution of blocks of a program is derived. A solution method which uses "Cocke-Allen interval" analysis is presented and extensions of this method to other global flow analysis problems are described. © 1976.
Victoria Markstein, John Cocke, et al.
ACM SIGPLAN Notices
Victoria Markstein, John Cocke, et al.
SIGPLAN Symposium on Compiler Construction 1982
Christopher H. Bajorek, David A. Thompson, et al.
IEEE Transactions on Magnetics
Gregory J. Chaitin, Marc A. Auslander, et al.
Computer Languages