Guarded Commands, Nondeterminacy and Formal Derivation of Programs

Communications of the ACM

Volumn 18, Issue 8, 1975, Pages 453-457

  Dijkstra, Edsger W ^a  

^a Burroughs Corporation ^*  (Netherlands)

Author keywords

case construction; correctness proof; derivation of programs; nondeterminancy; program semantics; programming language semantics; programming languages; programming methodology; repetition; sequencing primitives; termination

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

EID: 0016543936     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/360933.360975     Document Type: Article

References (2)

1. Hoare, C.A.R. An axiomatic basis for computer programming. Comm. ACM 12, 10 (Oct. 1969), 576-583.
2. Naur, Peter (Ed.), Report on the algorithmic language ALGOL 60. Comm. ACM 3, (May 1960), 299-314.