Go backward to Abstract Syntax
Go up to Top
Go forward to Examples
Examples
- [[ X := X+1 ]]
- Atomic update of cell [[X]].
- [[ X := X+2; X := X-1 ]]
- Command may be interrupted after evaluation of first assignment.
- Not semantically equivalent to [[ X := X+1 ]]
- [[ (X := X+2; X := X-1) || X := 3 ]]
- X := X+2; X := X-1; X := 3.
- X := X+2; X := 3; X := X-1.
- X := 3; X := X+2; X := X-1.
Many interleavings possible!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: intro.tex,v 1.2 1996/01/31 15:37:03 schreine Exp schreine