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:
“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.
“It is manifest therefore that they who have sovereign power, are immediate rulers of the church under Christ, and all others but subordinate to them. If that were not, but kings should command one thing upon pain of death, and priests another upon pain of damnation, it would be impossible that peace and religion should stand together.”
—Thomas Hobbes (1579–1688)