Interprocedural modification side effect analysis with pointer aliasing
- 1 June 1993
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 28 (6), 56-67
- https://doi.org/10.1145/173262.155096
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- A safe approximate algorithm for interprocedural aliasingPublished by Association for Computing Machinery (ACM) ,1992
- Interprocedural Def-Use associations in C programsPublished by Association for Computing Machinery (ACM) ,1991
- Data flow-based test adequacy analysis for languages with pointersPublished by Association for Computing Machinery (ACM) ,1991
- The semantic approach to program slicingPublished by Association for Computing Machinery (ACM) ,1991
- An interval-based approach to exhaustive and incremental interprocedural data-flow analysisACM Transactions on Programming Languages and Systems, 1990
- Lifetime analysis of dynamically allocated objectsPublished by Association for Computing Machinery (ACM) ,1988
- Interprocedural dependence analysis and parallelizationPublished by Association for Computing Machinery (ACM) ,1986
- The program dependence graph in a software development environmentPublished by Association for Computing Machinery (ACM) ,1984
- Efficient computation of flow insensitive interprocedural summary informationPublished by Association for Computing Machinery (ACM) ,1984
- A practical interprocedural data flow analysis algorithmCommunications of the ACM, 1978