Words starting with dijkstrasgua

Unfortunately we didn’t found any matching words.
Maybe these words will be useful:

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