Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

Dijkstra's guarded command language

You are here: irt.org | FOLDOC | 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

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb