Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. J. P. Banning. An efficient way to find the side effects of procedure calls and the aliases of variables. In POPL, pages 29–41. ACM, January 1979.
2. D. R. Chase, M. Wegman, and F. K. Zadeck. Analysis of pointers and structures. In PLDI, pages 296–310. ACM, June 1990.
3. J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependence graph and its use in optimization. ACM TOPLAS, 9(3):319–349, July 1987.
4. R. W. Floyd. Assigning meanings to programs. In Proceedings of Symposia in Applied Mathematics, volume 19, pages 19–31. AMS, 1967.
5. S. Garland and J. Guttag. A guide to LP, The Larch Prover. TR 82, DEC Systems Research Center, Palo Alto, CA, December 1991.