Back to search

Guarded commands, nondeterminacy and formal derivation of programs

Edsger W. Dijkstra
DOI: 10.1145/360933.360975
Communications of the ACM

Data up to Jan 2025

Published1975
Citations1,898
References4
Fields
Computer scienceMathematicsMedicineProgramming languageTheoretical computer sciencePure mathematics

Total Citations Per Year

Abstract

References (4)

An Axiomatic Basis for Computer Programming

1969 • 4,423 citations

An axiomatic basis for computer programming

1969 • 3,681 citations

Report on the algorithmic language ALGOL 60

1960 • 489 citations

Report on the Algorithmic Language

1971 • 116 citations

Cited By (0)

Loading...