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:
“A wholly materialistic city is nothing but a dream incarnate. Venice is the world’s unconscious, a miser’s glittering hoard, guarded by a Beast whose eyes are made of white agate, and by a saint who is really a prince who has just slain a dragon.”
—Mary McCarthy (1912–1989)
“Children from humble families must be taught how to command just as other children must be taught how to obey.”
—Friedrich Nietzsche (1844–1900)
“And what the dead had no speech for, when living,
They can tell you, being dead: the communication
Of the dead is tongued with fire beyond the language of the living.”
—T.S. (Thomas Stearns)