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:
“Home is a place not only of strong affections, but of entire unreserve; it is life’s undress rehearsal, its backroom, its dressing room, from which we go forth to more careful and guarded intercourse, leaving behind us much debris of cast-off and everyday clothing.”
—Harriet Beecher Stowe (1811–1896)
“There are confessable agonies, sufferings of which one can positively be proud. Of bereavement, of parting, of the sense of sin and the fear of death the poets have eloquently spoken. They command the world’s sympathy. But there are also discreditable anguishes, no less excruciating than the others, but of which the sufferer dare not, cannot speak. The anguish of thwarted desire, for example.”
—Aldous Huxley (1894–1963)
“Upon my tongues continual slanders ride,
The which in every language I pronounce,
Stuffing the ears of men with false reports.”
—William Shakespeare (1564–1616)