For this purpose, the authors have an intermediate graph, a dependency graph that represent the data and control flow dependencies between nodes, statements. It must also play a role in software ...