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:
“For the marriage bed ordained by fate for men and women is stronger than an oath and guarded by Justice.”
—Aeschylus (525–456 B.C.)
“But as some silly young men returning from France affect a broken English, to be thought perfect in the French language; so his Lordship, I think, to seem a perfect understander of the unintelligible language of the Schoolmen, pretends an ignorance of his mother-tongue. He talks here of command and counsel as if he were no Englishman, nor knew any difference between their significations.”
—Thomas Hobbes (1579–1688)