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)
“An actor must communicate his author’s given message—comedy, tragedy, serio- comedy; then comes his unique moment, as he is confronted by the looked-for, yet at times unexpected, reaction of the audience. This split second is his; he is in command of his medium; the effect vanishes into thin air; but that moment has a power all its own and, like power in any form, is stimulating and alluring.”
—Eleanor Robson Belmont (1878–1979)
“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)