Go backward to Multichoice Commands
Go up to Top
Go forward to Denotational Semantics
The Guarded Command Language
- Traditionally: sequential test of choices.
- Select first C_i where B_i holds.
- Dijkstra: non-deterministic choice.
- Choose any C_i for which B_i holds.
- Guarded command language:
- Assignment language.
- Non-deterministic conditional command.
- Non-deterministic multi-test loop.
Tool for studying non-determinism!
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: intro.tex,v 1.2 1996/01/31 15:37:03 schreine Exp schreine