Literature/1975/Dijkstra
Jump to navigation
Jump to search
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 | edit source]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 | edit source]Related works
[edit | edit source]- (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.
Reviews
[edit | edit source]Comments
[edit | edit source]