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:
“The profession of magician, is one of the most perilous and arduous specialisations of the imagination. On the one hand there is the hostility of God and the police to be guarded against; on the other it is as difficult as music, as deep as poetry, as ingenious as stage-craft, as nervous as the manufacture of high explosives, and as delicate as the trade in narcotics.”
—William Bolitho (1890–1930)
“How did you get in the Navy? How did you get on our side? Ah, you ignorant, arrogant, ambitious—keeping sixty two men in prison cause you got a palm tree for the work they did. I don’t know which I hate worse, you or that malignant growth that stands outside your door. How did you ever get command of a ship? I realize in wartime they have to scrape the bottom of the barrel. But where’d they ever scrape you up?”
—Frank S. Nugent (1908–1965)