Parotsidis, Nikos; Georgiadis, Loukas
(2013-12-19)
The computation of dominators is a central tool in program optimization and code generation, and it has applications in other diverse areas includingconstraint programming, circuit testing, and biology. In this paper we ...