Braun SSA construction

Pairings in the atlas

On-the-fly local value trackingspecialistSSA construction program-analysis

Rivals: other methods for the same problems

Cytron SSA construction

Where it sits

program-analysis · Formal Languages & Compilers