The method of attributes for data flow analysis: Part I. Exhaustive analysis
WA Babich, M Jazayeri - Acta Informatica, 1978 - Springer
WA Babich, M Jazayeri
Acta Informatica, 1978•SpringerThe method of attributes for data flow analysis Page 1 Acta Informatica 10, 245-264 (1978) 9
by Springer-Verlag 1978 The Method of Attributes for Data Flow Analysis Part I. Exhaustive
Analysis Wayne A. Babich* and Mehdi Jazayeri Department of Computer Science, University
of North Carolina at Chapel Hill, Chapel Hill, NC 27514, USA Summary. A new technique for
global data flow analysis, called the method of attributes, is introduced. The technique is
iterative and operates on a parse tree representation of the program. Application to dead …
by Springer-Verlag 1978 The Method of Attributes for Data Flow Analysis Part I. Exhaustive
Analysis Wayne A. Babich* and Mehdi Jazayeri Department of Computer Science, University
of North Carolina at Chapel Hill, Chapel Hill, NC 27514, USA Summary. A new technique for
global data flow analysis, called the method of attributes, is introduced. The technique is
iterative and operates on a parse tree representation of the program. Application to dead …
Summary
A new technique for global data flow analysis, called the method of attributes, is introduced. The technique is iterative and operates on a parse tree representation of the program. Application to dead variable and available expression analysis is shown.
Springer