Dijkstra's guarded command language




<language> A language invented by Edsger Dijkstra ca. 1974. It introduced the concept of guards and committed choice nondeterminism (don't care nondeterminism).

Described and used in ["A Discipline of Programming", E. Dijkstra, P-H 1976].



< Previous Terms Terms Containing Dijkstra's guarded command language Next Terms >
Digital Subscriber Loop
Digital Switched Network
Digital to Analog Converter
Digital Versatile Disc
Digital Video Disc
dike
DIL
Dilbert
Dilberted
DIM