2 points by fanf
This is my favorite dominator algorithm, too. I implemented it in college in Go.
It's also described in the book "Engineering a Compiler" by Cooper & Torczon.