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.
“You must neither add anything to what I command you nor take away anything from it, but keep the commandments of the LORD your God with which I am charging you.”
—Bible: Hebrew, Deuteronomy 4:2.
“Whether we regard the Women’s Liberation movement as a serious threat, a passing convulsion, or a fashionable idiocy, it is a movement that mounts an attack on practically everything that women value today and introduces the language and sentiments of political confrontation into the area of personal relationships.”
—Arianna Stassinopoulos (b. 1950)