Flow-insensitive interprocedural alias analysis in the presence of pointers
- 1 January 1995
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 234-250
- https://doi.org/10.1007/bfb0025882
Abstract
No abstract availableThis publication has 25 references indexed in Scilit:
- Static slicing in the presence of goto statementsACM Transactions on Programming Languages and Systems, 1994
- Efficient computation of interprocedural definition-use chainsACM Transactions on Programming Languages and Systems, 1994
- Efficient call graph analysisACM Letters on Programming Languages and Systems, 1992
- An interval-based approach to exhaustive and incremental interprocedural data-flow analysisACM Transactions on Programming Languages and Systems, 1990
- Constructing the procedure call multigraphIEEE Transactions on Software Engineering, 1990
- An overview of the PTRAN analysis system for multiprocessingJournal of Parallel and Distributed Computing, 1988
- Automatic decomposition of scientific programs for parallel executionPublished by Association for Computing Machinery (ACM) ,1987
- An efficient way to find the side effects of procedure calls and the aliases of variablesPublished by Association for Computing Machinery (ACM) ,1979
- A Fast and Usually Linear Algorithm for Global Flow AnalysisJournal of the ACM, 1976
- The Transitive Reduction of a Directed GraphSIAM Journal on Computing, 1972