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)
“It is manifest therefore that they who have sovereign power, are immediate rulers of the church under Christ, and all others but subordinate to them. If that were not, but kings should command one thing upon pain of death, and priests another upon pain of damnation, it would be impossible that peace and religion should stand together.”
—Thomas Hobbes (1579–1688)
“A mind enclosed in language is in prison.”
—Simone Weil (1909–1943)