This class introduces the notion of dominance and immediate dominance. It shows how to build the dominator tree of a CFG, and explain how this concept helps us to identify natural loops and nesting relations between natural loops.
No download links available.