The Program Dependence Graph and Its Use in OptimizationJeanne FerranteKarl J. Ottensteinet al.1987ACM Transactions on Programming Languages and Systems (TOPLAS)