Properties and Flavours - Brisk, Philip; Rastello, Fabrice (SSA-based Compiler Design, 2022)
Keywords: Chordal graph; Compiler design; Control-flow graph; Conventional SSA (C-SSA); Copy folding; Def-use chain; Dominance; Dominator tree; Interference; Join node; Live-range; Minimal SSA; Phi-web; Pruned SSA; Static single assignment form (SSA form); Strict SSA; Transformed SSA (T-SSA); Tree scan; Vanilla SSA