Guarded commands, nondeterminacy and formal derivation of programs

descriptionPublicationkeyboard_double_arrow_right Article , Part of book or chapter of book 01 Aug 1975 Netherlands English Publisher:Association for Computing Machinery (ACM)Journal:Communications of the ACM, volume 18, pages 453-457 (issn: 0001-0782, eissn: 1557-7317,

Copyright policy )

Authors: Dijkstra, E.W.;

doi: 10.1145/360933.360975 , 10.1007/978-1-4612-6315-9_14

Guarded commands, nondeterminacy and formal derivation of programs

- Summary
- Subjects
- Metrics

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.

Country

Netherlands

Related Organizations

Technical University Eindhoven
Netherlands

Keywords

General topics in the theory of software

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	1K
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 0.1%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 0.01%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 1%