Back to Search
Start Over
A Program Data Flow Analysis Procedure.
- Source :
-
Communications of the ACM . Mar1976, Vol. 19 Issue 3, p137-147. 11p. 15 Diagrams, 4 Charts. - Publication Year :
- 1976
-
Abstract
- The global data relationships in a program can be exposed and codified by the static analysis methods described in this paper. A procedure is given which determines all the definitions which can possibly "reach" each node of the control flow graph of the program and all the definitions that are "live" on each edge of the graph. The procedure uses an "Interval" ordered edge listing data structure and handles reducible and irreducible graphs indistinguishably. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00010782
- Volume :
- 19
- Issue :
- 3
- Database :
- Academic Search Index
- Journal :
- Communications of the ACM
- Publication Type :
- Periodical
- Accession number :
- 5246476
- Full Text :
- https://doi.org/10.1145/360018.360025