collaborators

1 paper

cs.PL2026

SSA without Dominance for Higher-Order Programs

Roland Leißa, Johannes Griebler

Dominance is a fundamental concept in compilers based on static single assignment (SSA) form. It underpins a wide range of analyses and transformations and defines a core property…