1- https://doi.org/10.1016/j.ipl.2005.11.017
Using postdomination to reduce space requirements of data flow analysis
- Dec 27, 2005
- Information Processing Letters
- C Bernardeschi +3 more
Abstract
Using postdomination to reduce space requirements of data flow analysis
- # Control Flow Graph
- # Program Execution State
- # Execution State
- # Type Inference Problems
- # Data Flow Analysis
- # Fixpoint Iteration
- # Initial Node
- # Execution Path
- # Program Instruction
- # Representation Of State
