- - - - CENAPAD-MGCO

A seguir: Semântica Operacional Acima: Conflitos Anterior: Compartilhamento de um monoprocessador

Uma computação do programa IncDec compilado

LDA n      (A = 4)

LDA n      (A = 4)
ADD 3      (A = 7)
STA n      (n = 7)

MULT 10    (A = 40)
STA n      (n = 40)

• Este resultado (n=40) não pode ser inferido do programa IncDec original
• $\Rightarrow$ a semântica do programa IncDec não é definida!