The transitive closure of control dependence
Michael Weiß · ACM Letters on Programming Languages and Systems · 1992
We characterize the transitive closure of the control dependence relation and give an application to the theory of control fow guards. We relate our result to characterizations by Beck et al., by Sarkar, and by Cytron et al., and strengthen a result of the latter concerning dominance frontiers and join sets.