Structural properties of post-dominator trees

The concepts of post dominators and post dominator trees are extensively used in code optimisation (J. Ferrante et al., 1987), program slicing (H. Agrawal and J.R. Horgan, 1990) and test suite reduction (R. Gupta and M.L. Soffa, 1093). The paper studies some characteristics of post dominator trees. These results can form the basis for the development of a more efficient construction algorithm of post dominator tree.