On the adequacy of program dependence graphs for representing programs

摘要: Program dependence graphs were introduced by Kuck as an intermediate program representation well suited for performing optimizations, vectorization, and parallelization. There are also additional applications them internal in development environments.In this paper we examine the issue of whether a graph is adequate structure representing program's execution behavior. (This question has apparently never been addressed before literature). We answer affirmative showing that if two programs isomorphic then strongly equivalent.