A region analysis algorithm for the live variables problem
From MaRDI portal
Publication:799117
DOI10.1007/BF02242267zbMath0547.68064MaRDI QIDQ799117
Publication date: 1984
Published in: Computing (Search for Journal in Brave)
interval analysis; time complexity; reducible flow graphs; data flow analysis; global program optimization; live variables; region analysis algorithm
68Q25: Analysis of algorithms and problem complexity
68R10: Graph theory (including graph drawing) in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Node listings for reducible flow graphs
- Monotone data flow analysis frameworks
- Fast algorithms for the elimination of common subexpressions
- Characterizations of Reducible Flow Graphs
- Global Data Flow Analysis and Iterative Algorithms
- A program data flow analysis procedure
- A Fast and Usually Linear Algorithm for Global Flow Analysis
- A Simple Algorithm for Global Data Flow Analysis Problems
- A Comparison of Two Algorithms for Global Data Flow Analysis
- Use-definition chains with applications
- A global flow analysis algorithm