Abstract
We now define a programming notation in terms of wp. We will also indicate how each command of the programming notation is to be executed, so that the reader can relate it to statements of other conventional languages. Also, by showing how the command can be executed we establish that it really is useful. But the definition in terms of wp should be viewed as the definition of the command.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
Gries, D. (1981). The Commands skip, abort and Composition. In: The Science of Programming. Text and Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-5983-1_9
Download citation
DOI: https://doi.org/10.1007/978-1-4612-5983-1_9
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-96480-5
Online ISBN: 978-1-4612-5983-1
eBook Packages: Springer Book Archive