Skip and Abort
Skip and Abort are very simple as well as important statements in the guarded command language. Abort is the undefined instruction: do anything. The abort statement does not even need to terminate. It is used to describe the program when formulating a proof, in which case the proof usually fails. Skip is the empty instruction: do nothing. It is used in the program itself, when the syntax requires a statement, but the programmer does not want the machine to change states.
Read more about this topic: Guarded Command Language
Famous quotes containing the word skip:
“The lesson of value which money teaches, which the Author of the Universe has taken so much pains to teach us, we are inclined to skip altogether. As for the means of living, it is wonderful how indifferent men of all classes are about it, even reformers, so called,—whether they inherit, or earn, or steal it.”
—Henry David Thoreau (1817–1862)