Pointer-induced aliasing: A problem classification

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1991, Pages 93-103

  Landi, William ^a   Ryder, Barbara G ^a  

^a RUTGERS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY;

ALIASING; INTER-PROCEDURAL; PROBLEM CLASSIFICATION; PROGRAM POINTS; SINGLE LEVEL;

PROBLEM ORIENTED LANGUAGES;

EID: 85021863308     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/99583.99599     Document Type: Conference Paper

References (22)

1. J. Banning. An efficient way to find the side effects of procedure calls and the aliases of variables. In Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, pages 29-41, January 1979.
2. D. R. Chase, M. Wegman, and F. K. %adeck. Analysis of pointers and structures. In Proceedings of the SIGPLAN 90 Conference on Programming Language Design and Implementation, pages 296-310, June 1990. SIGPLAN Notices, Vol 25, No 6.
3. A. Chow and A. Rudmik. The design of a data flow analyzer. In Proceedings of the ACM SIGPLAN Symposium on Compiler Construction, pages 106-113, June 1982.
4. B. G. Cooper. Ambitious data flow analysis of procedural programs. Masters thesis, University of Minnesota, May 1989.
5. K. Cooper. Analyzing aliases of reference formal parameters. In Conference Record of the Twelfth Annual A CM Symposium on Principles of Programming Languages, pages 281-290, January 1985
6. K. Cooper and K. Kennedy. Fast interprocedural alias analysis. In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, pages 49-59, January 1989.
7. M. S. Hecht. Flow Analysis of Computer Programs. Elsevier North-Holland, 1977.
8. L. J. Hendren and A. Nicolau. Parallelizing programs with recursive data structures. In Proceedings of the 1989 International Conference on Parallel Processing, pages 49-56, August 1989.
9. S. Horwitz, P. Pfeiffer, and T. Reps. Dependence analysis for pointer variables. In Proceedings of the ACM SIGPLA N Symposium on Compiler Construction, pages 28-40, June 1989.
10. S. Horwitz, T. Reps, and D. Binjdey. Interprocedural slicing using dependence graphs. In Proceedings o} the SIGPLAN 88 Conference on Programming Language Design and Implementation, pages 35-46, July 13B6. SIGPLAN NOTICES, Vol. 23, No. 7.
11. N. Jones and S. Muchnick. A survey of data flow anal. ysis techniques. In S. Muchnick and N. Jones, editors, Program Flow Analysis: Theory and Applications, pages 102-131. Prentice Hall, 1979.
12. W. LandL Inter-procedural Aliasing in the Presence of Pointers. PhD thesis, Rutgers University, 1991. in preparation.
13. W. Landi and B. G. Ryder. Aliasing with and without pointers: A problem taxonomy. Center for Computer Aids for Industrial Productivity Technical Report CAIP-TR-125, Rutgers University, September 1990.
14. J. R. Larus. Restructuring Symbolic Programs for Concurrent Ezecution on Multiprocessors. PhD thesis, Universit y of California Berkeley, May 1989
15. J. R. Larus and P. N. Hilfinger. Detecting conflicts between structure accesses. In Proceedings of the SIGPLAN 88 Conference on Programming Language Design and Implementation, pages 21-34, July 1988. SIGPLAN NOTICES, Vol. 23, No. 7.
16. D. Lomet. Data flow analysis in the presence of procedure calls. Journal of Research and Development, 21(6):559-571, November 1977.
17. T. J. Marlowe and B. G. Ryder. An efficient hybrid algorithm for incremental data flow analysis. In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, pages 184-196, January 1990.
18. E. M. Myers. A precise interprocedural data flow algorithm. In Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, pages 219-230, January 1981.
19. B. G. Ryder. Ismm: Incremental software maintenance manager. In Proceedings of the IEEE Computer Society Conference on Software Maintenance, pages 142-164, October 1989.
20. M. Sharir and A. Pnueli. Two approaches to interprocedural data flow analysis. In S. Muchnick and N. Jones, editors, Program Flow Analysis: Theory and Applications, pages 189-234. Prentice Hall, 1981.
21. W. E. Weihl. Interprocedural data flow analysis in the presence of pointers, procedure variables and label variables. Masters thesis, M. I. T., June 1980.
22. W. E. Weihl. Interprocedural data flow analysis in the presence of pointers, procedure variables and label variables. In Conference Record of the Seventh Annual A CM Symposium on Principles of Programming Languages, pages 83-94, January 1980.