Literature/1975/Dijkstra
Authors | ||
---|---|---|
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z & |
Semantics Edit
At the moment G is encountered in a calculation, it is evaluated.
- If G is true, execute S.
- If G is false, look at the context to decide what to do (in any case, do not execute S).
Wikimedia Edit
Related works Edit
- (1976). A Discipline of Programming. Prentice-Hall Series in Automatic Computation. A systematic introduction to a version of the guarded command language with many worked examples.