释义 |
Dijkstra's guarded command language 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 andused in ["A Discipline of Programming", E. Dijkstra, P-H1976]. |