Efficient computation of flow insensitive interprocedural summary information
- 1 June 1984
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 19 (6) , 247-258
- https://doi.org/10.1145/502949.502898
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Fast Algorithms for Solving Path ProblemsJournal of the ACM, 1981
- A Unified Approach to Path ProblemsJournal of the ACM, 1981
- Program optimization and exception handlingPublished by Association for Computing Machinery (ACM) ,1981
- A precise inter-procedural data flow algorithmPublished by Association for Computing Machinery (ACM) ,1981
- Applications of Path Compression on Balanced TreesJournal of the ACM, 1979
- Data Flow Analysis for Procedural LanguagesJournal of the ACM, 1979
- A practical interprocedural data flow analysis algorithmCommunications of the ACM, 1978
- Method for determining the side effects of procedure calls [Thesis]Published by Office of Scientific and Technical Information (OSTI) ,1978
- 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