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:
“Grown up, and that is a terribly hard thing to do. It is much easier to skip it and go from one childhood to another.”
—F. Scott Fitzgerald (1896–1940)