Go backward to Examples
Go up to Top
Go forward to Examples
Examples
- [[ (if X=0 then Y:=1 else Y:=2)
|| X := X+1 ]]
- Initial value of X is zero:
test X = 0; Y := 1; X := X+1
test X = 0; X := X+1; Y := 1
X := X+1; test X=0; Y:=2
- Initial value of X is positive:
test X = 0; Y := 2; X := X+1
test X = 0; X := X+1; Y := 2
X := X+1; test X = 0; Y := 2
Sequence of actions of one command influenced by interleaving of other
command!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: intro.tex,v 1.2 1996/01/31 15:37:03 schreine Exp schreine