Sequencing wp

• wp((S1;S2),Q)= wp(S1,wp(S2,Q))

• wp( j:=j+2;k:=k-2, j+k=1) = wp(j:=j+2,wp(k:=k-2,j+k=1)) = wp(j:=j+2,j+k-2=1) = (j+2+k-2=1) = j+k=1

Previous slide

Next slide

Back to first slide

View graphic version