Dijkstra's guarded command language(ID:639/dij001)

Edsger Dijkstra. Introduced the concept of guards and committed choice [=don't care] nondeterminism. Described and used (but never named) in A Discipline of Programming. Dijkstra later (1972) referred to this language as DOVPA (Dijkstra's Own Version of Pidgin Algol).

People:
Related languages
Dijkstra's guarded command language => DOVPA   Renaming
Dijkstra's guarded command language => Juno   Based on
References:
  • Dijkstra, E. "A Discipline of Programming" P-H 1976. view details
  • Bailes, P. A. "Static Checking of Variable Handling in Dijkstra's Guarded Commands Language" view details
          in Computer Languages 11(3-4) view details