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
• a semântica do programa IncDec não é definida