Rosen, Barry K. High-level data flow analysis. (English) Zbl 0399.68014 Commun. ACM 20, 712-724 (1977). Page: Show Scanned Page Cited in 4 Documents MSC: 68N01 General topics in the theory of software Keywords:Optimization; Global Flow Analysis; High-Level Data Flow Analysis; Control Flow Information; Parse Tree; Program Certification PDFBibTeX XMLCite \textit{B. K. Rosen}, Commun. ACM 20, 712--724 (1977; Zbl 0399.68014) Full Text: DOI