; Read-after-write -LRB- RAW -RRB- : A read from a register or memory location must return the value placed there by the last write in program order, not some other write.
Une lecture à partir d'un registre ou d'un emplacement de mémoire doit retourner la valeur placée là par la dernière écriture dans l'ordre du programme, pas quelque autre écriture.