Dominator computation

2 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.

Phrasings that mean this problem

Dominator treesControl-flow analysis

graphs-structure

Lengauer-Tarjanstandalonespecialistgraphs-structure

program-analysis

Dominator analysisCooper-Harvey-Kennedystandardprogram-analysis