DMCA
Guarded Commands, Nondeterminacy and Formal Derivation of Programs (1975)
Cached
Download Links
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- DBLP
Other Repositories/Bibliography
by
Edsger W. Dijkstra
| Citations: | 526 - 0 self |
BibTeX
@MISC{Dijkstra75guardedcommands,,
author = {Edsger W. Dijkstra},
title = {Guarded Commands, Nondeterminacy and Formal Derivation of Programs},
year = {1975}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
So-called "guarded commands" are introduced as a building block for alternative and repetitive constructs that allow nondeterministic program components for which at least the activity evoked, but possibly even the final state, is not necessarily uniqilely determined by the initial state. For the formal derivation of programs expressed in terms of these constructs, a calculus will be be shown.
