The Guarded Command Language (GCL) is a language defined by Edsger Dijkstra for predicate transformer semantics. It combines programming concepts in a compact way, before the program is written in some practical programming language. Its simplicity makes proving the correctness of programs easier, using Hoare logic.
Read more about Guarded Command Language: Guarded Command, Skip and Abort, Concatenation, Selection: if, Repetition: do
Famous quotes containing the words guarded, command and/or language:
“He sustained him in a desert land, in a howling wilderness waste; he shielded him, cared for him, guarded him as the apple of his eye.”
—Bible: Hebrew, Deuteronomy 32:10.
“Ordinary time is “quality time” too. Everyday activities are not just necessities that keep you from serious child rearing: they are the best opportunities for learning you can give your child...because her chief task in her first three years is precisely to gain command of the day-to-day life you take for granted.”
—Amy Laura Dombro (20th century)
“There is no such thing as a language, not if a language is anything like what many philosophers and linguists have supposed. There is therefore no such thing to be learned, mastered, or born with. We must give up the idea of a clearly defined shared structure which language-users acquire and then apply to cases.”
—Donald Davidson (b. 1917)