A Program Dependence Graph (PDG) is a directed graph of a program's control and data dependencies, where nodes represent program statements, and edges represent dependencies between these statements.
PDG are used in optimization, debugging, and understanding program behavior.[1] These dependencies are used during dependence analysis in optimizing compilers to make transformations so that multiple cores are used, and parallelism is improved.[2] Nodes and edges in a PDG may have attributes associated with them, representing variables read from or written to, or the type of dependency they represent.
