Guarded Command
The guarded command is the most important element of the guarded command language. In a guarded command, just as the name says, the command is "guarded". The guard is a proposition, which must be true before the statement is executed. At the start of that statement's execution, one may assume the guard to be true. Also, if the guard is false, the statement will not be executed. The use of guarded commands makes it easier to prove the program meets the specification. The statement is often another guarded command.
Read more about this topic: Guarded Command Language
Famous quotes containing the words guarded and/or command:
“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)
“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)