Grafo de dependencia del programa

Un grafo de dependencias de programas ( PDG , por sus siglas en inglés) es un grafo dirigido que representa las dependencias de control y de datos de un programa . Los nodos representan instrucciones del programa y las aristas representan dependencias entre estas instrucciones.

Los PDG se utilizan en la optimización, la depuración y la comprensión del comportamiento de los programas. Un ejemplo de esto es su utilización por parte de los compiladores durante el análisis de dependencias , lo que permite al compilador optimizador realizar transformaciones para permitir el paralelismo . ^{[ 1 ] [ 2 ]}

• Grafo de dependencias
• Grafo de flujo de control
• Análisis del flujo de datos
• Análisis estático de programas