Interprocedural Def-Use associations in C programs
- 1 October 1991
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 139-153
- https://doi.org/10.1145/120807.120820
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Pointer-induced aliasing: a problem taxonomyPublished by Association for Computing Machinery (ACM) ,1991
- Dynamic slicing of computer programsJournal of Systems and Software, 1990
- A program integration algorithm that accommodates semantics-preserving transformationsACM SIGSOFT Software Engineering Notes, 1990
- Dynamic program slicingACM SIGPLAN Notices, 1990
- Analysis of pointers and structuresPublished by Association for Computing Machinery (ACM) ,1990
- Interprocedual data flow testingPublished by Association for Computing Machinery (ACM) ,1989
- An incremental algorithm for software analysisPublished by Association for Computing Machinery (ACM) ,1987
- Efficient computation of flow insensitive interprocedural summary informationPublished by Association for Computing Machinery (ACM) ,1984
- The design of a data flow analyzerPublished by Association for Computing Machinery (ACM) ,1982
- A precise inter-procedural data flow algorithmPublished by Association for Computing Machinery (ACM) ,1981