Una instrucción "S2" presenta una dependencia de salida respecto de "S1" (expresado como formula_4) si y solo si "S1" y "S2" modifican el mismo recurso y "S1" precede a "S2" en el orden de ejecución.