En teoría de compiladores, el análisis de dependencias genera restricciones en el orden de ejecución de las instrucciones.