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].
(1994-12-07)
Nearby terms:
Digital Versatile Disc « Digital Versatile Disk
Random Access Memory « Digital Video Disc «
Dijkstra's guarded command language » dike » DIL
» Dilbert
|