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:
“If the individuals who compose the purest circles of aristocracy in Europe, the guarded blood of centuries, should pass in review, in such manner as that we could, at leisure, and critically inspect their behavior, we might find no gentleman, and no lady; for, although excellent specimens of courtesy and high-breeding would gratify us in the assemblage, in the particulars, we should detect offence. Because, elegance comes of no breeding, but of birth.”
—Ralph Waldo Emerson (1803–1882)
“But, to speak practically and as a citizen, unlike those who call themselves no-government men, I ask for, not at once no government, but at once a better government. Let every man make known what kind of government would command his respect, and that will be one step toward obtaining it.”
—Henry David Thoreau (1817–1862)