The program summary graph and flow-sensitive interprocedual data flow analysis
- 1 June 1988
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 23 (7) , 47-56
- https://doi.org/10.1145/960116.53995
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- An incremental algorithm for software analysisPublished by Association for Computing Machinery (ACM) ,1987
- The impact of interprocedural analysis and optimization in the R n programming environmentACM Transactions on Programming Languages and Systems, 1986
- Interprocedural dependence analysis and parallelizationPublished by Association for Computing Machinery (ACM) ,1986
- Interprocedural constant propagationPublished by Association for Computing Machinery (ACM) ,1986
- Efficient computation of flow insensitive interprocedural summary informationPublished by Association for Computing Machinery (ACM) ,1984
- Fast Algorithms for Solving Path ProblemsJournal of the ACM, 1981
- A precise inter-procedural data flow algorithmPublished by Association for Computing Machinery (ACM) ,1981
- Data Flow Analysis for Procedural LanguagesJournal of the ACM, 1979
- Global Data Flow Analysis and Iterative AlgorithmsJournal of the ACM, 1976
- A Fast and Usually Linear Algorithm for Global Flow AnalysisJournal of the ACM, 1976