A Simple Algorithm for Global Data Flow Analysis Problems

DOI10.1137/0204044MaRDI QIDQ4095866zbMATH OpenOpenAlexFDO

Authors Matthew S. Hecht, Jeffrey D. Ullman

Publication date 1975

Published in SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1137/0204044

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Analysis of algorithms and problem complexity (68Q25) Algorithms in computer science (68W99)

Cited in

(20)

• Finding the depth of a flow graph
• Approximate matching of regular expressions
• Iterative methods of program analysis
• The method of attributes for data flow analysis. II: Demand analysis
• Efficient symbolic analysis of programs
• A strong-connectivity algorithm and its applications in data flow analysis
• A comparison of some algorithms for live variable analysis
• Super-pattern matching
• Approximate regular expression pattern matching with concave gap penalties
• Program reduction allowing for additional specifications
• Monotone data flow analysis frameworks
• Pathlistings applied to data flow analysis
• Data flow analysis of distributed communicating processes
• Analysis of program structure
• The Choice Construct in the Soufflé Language
• A region analysis algorithm for the live variables problem
• Node listings for reducible flow graphs
• Generalized dominators for structured programs
• Generalized dominators
• An \(O(| V|^*| E|)\) algorithm for finding immediate multiple-vertex dominators

This page was built for publication: A Simple Algorithm for Global Data Flow Analysis Problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4095866)