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:
“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)
“There are confessable agonies, sufferings of which one can positively be proud. Of bereavement, of parting, of the sense of sin and the fear of death the poets have eloquently spoken. They command the world’s sympathy. But there are also discreditable anguishes, no less excruciating than the others, but of which the sufferer dare not, cannot speak. The anguish of thwarted desire, for example.”
—Aldous Huxley (1894–1963)