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:
“For the marriage bed ordained by fate for men and women is stronger than an oath and guarded by Justice.”
—Aeschylus (525–456 B.C.)
“But as some silly young men returning from France affect a broken English, to be thought perfect in the French language; so his Lordship, I think, to seem a perfect understander of the unintelligible language of the Schoolmen, pretends an ignorance of his mother-tongue. He talks here of command and counsel as if he were no Englishman, nor knew any difference between their significations.”
—Thomas Hobbes (1579–1688)
“Denotation by means of sounds and markings is a remarkable abstraction. Three letters designate God for me; several lines a million things. How easy becomes the manipulation of the universe here, how evident the concentration of the intellectual world! Language is the dynamics of the spiritual realm. One word of command moves armies; the word liberty entire nations.”
—Novalis [Friedrich Von Hardenberg] (1772–1801)