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].

Last updated: 1994-12-07

Try this search on Wikipedia, OneLook, Google

Nearby terms: Digital Versatile Disc « Digital Versatile Disk Random Access Memory « Digital Video Disc « Dijkstra's guarded command language » dike » DIL » Dilbert


Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.