High-level data flow analysis

DOI10.1145/359842.359849zbMath0399.68014OpenAlexW1970357395MaRDI QIDQ4184274

Barry K. Rosen

Publication date: 1977

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/359842.359849

zbMATH Keywords

OptimizationControl Flow InformationGlobal Flow AnalysisHigh-Level Data Flow AnalysisParse TreeProgram Certification

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Pathlistings applied to data flow analysis ⋮ The method of attributes for data flow analysis. I: Exhaustive analysis ⋮ The method of attributes for data flow analysis. II: Demand analysis ⋮ Bibliography on the evaluation of numerical software