References
- Allen , F.E. and Cocke , J. 1972 . “ Graph theoretic constructs for program control flow analysis ” . In IBM Res. Rep. RC 3923 , N.Y : T. J. Watson Res. Center .
- Graham , S.L. and Wegman , M. 1976 . A fast and usually linear algorithm for global flow Analysis . JACM , 23 ( 1 ) : 172 – 202 .
- Hecht , M.S. and Ullman , J.D. 1975 . A simple algorithm for global data flow analysis Problems . SIAM J. Comput , 4 ( 4 ) : 519 – 532 .
- Hecht , M.S. 1977 . Flow Analysis of Computer Programs , Elsevier : North-Holland .
- Kennedy , K. 1971 . A global flow analysis algorithm . Int. J. Comp. Math , 3 : 5 – 15 .
- Kennedy , K. 1976 . A comparison of two algorithms for global data flow analysis . SIAM J. Comput , 5 ( 1 ) : 158 – 180 .
- Kennedy , K. Node listing applied to data flow analysis . Conf. Rec. of the Second AC M Symposium on Principles of Programming Languages . pp. 10 – 21 .