publication . Other literature type . Part of book or chapter of book . Article . 1975

Guarded commands, nondeterminacy and formal derivation of programs

Edsger W. Dijkstra;
  • Published: 01 Aug 1975
  • Publisher: Springer New York
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 uniquely determined by the initial state. For the formal derivation of programs expressed in terms of these constructs, a calculus will be be shown.
Subjects
free text keywords: Software development process, Assignment, Nondeterministic algorithm, First-generation programming language, Program derivation, Guarded Command Language, Computer science, Programming language, computer.software_genre, computer, Theoretical computer science, Predicate transformer semantics, Boolean function
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue