Control-Flow Analyses and Static Single Assignment form - Natural Loops (for Reducible Flow-Graphs)
No download links available.