Un gráfico de dependencia de programa ( PDG ) es un gráfico dirigido de las dependencias de control y datos de un programa . Los nodos representan las instrucciones del programa y los bordes representan las dependencias entre estas instrucciones.
Los PDG se utilizan en la optimización, la depuración y la comprensión del comportamiento del programa. Un ejemplo de esto es su utilización por parte de los compiladores durante el análisis de dependencia , lo que permite al compilador optimizador realizar transformaciones para permitir el paralelismo . [1] [2]