Computation of interprocedural definition and use dependencies
- 4 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- An incremental version of iterative data flow analysisIEEE Transactions on Software Engineering, 1989
- An applicable family of data flow testing criteriaIEEE Transactions on Software Engineering, 1988
- Interprocedural side-effect analysis in linear timePublished by Association for Computing Machinery (ACM) ,1988
- The program summary graph and flow-sensitive interprocedual data flow analysisPublished by Association for Computing Machinery (ACM) ,1988
- Interprocedural slicing using dependence graphsPublished by Association for Computing Machinery (ACM) ,1988
- Incremental data-flow analysis algorithmsACM Transactions on Programming Languages and Systems, 1988
- A precise inter-procedural data flow algorithmPublished by Association for Computing Machinery (ACM) ,1981
- A practical interprocedural data flow analysis algorithmCommunications of the ACM, 1978
- Data Flow Analysis in the Presence of Procedure CallsIBM Journal of Research and Development, 1977
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973