An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph.

G. Ramalingam, Thomas W. Reps

Browse the full POPL paper archive.