1. Digital Video Disc Digital Versatile Disc Dijkstras guarded command language A language invented by Edsger Dijkstra ca. 1974. It introduced the concept of guards and committed choice nondeterminism dont care nondeterminism. Described and used in ["A Discipline of Programming", E. Dijkstra, P-H 1976].
digital video disc |
