Validating Dominator Trees for a Fast, Verified Dominance Test.

Sandrine Blazy, Delphine Demange, David Pichardie

Browse the full ITP paper archive.