Hoare's axiomatic method is applied in order to describe two controversial features: side effects and general jumps. The relative simplicity of this description suggests that reasons for the exclusion of these features from programming languages are subtler than it has been thought.
This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
Clint, M.: Program proving: Coroutines. Acta Informatica 2, 50–63 (1973)
Clint, M., Hoare, C. A. R.: Program proving: Jumps and functions. Acta Informatica 1, 214–224 (1972)
Floyd, R. W.: Assigning meanings to programs. In: Schwartz, J. T. (ed.), Proc. Symposia in Applied Mathematics 19. Providence (R.I.): American Mathematical Society 1967
Hoare, C. A. R.: An axiomatic basis for computer programming. Comm. ACM 12, 576–580 (1969)
Hoare, C. A. R.: Procedures and parameters: An axiomatic approach. In: Engeler, E. (ed.), Symposium on the Semantics of Algorithmic. Languages Lecture Notes in Mathematics 188. Berlin-Heidelberg-New York: Springer 1971, pp. 102–116
Hoare, C. A. R.: Parallel programming: an axiomatic approach. Computer Languages 1, 151–160 (1975)
Hoare, C. A. R., Lauer, P. E.: Consistent and complementary formal theories of the semantics of programming languages. Acta Informatica 3, 135–153 (1974)
Knuth, D. E.: Structured programming with goto statements. Computing Surveys 6, 261–301 (1974)
About this article
Cite this article
Kowaltowski, T. Axiomatic approach to side effects and general jumps. Acta Informatica 7, 357–360 (1977). https://doi.org/10.1007/BF00289468
- Information System
- Operating System
- Data Structure
- Communication Network
- Information Theory