Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Axiomatic approach to side effects and general jumps


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.


  1. 1.

    Clint, M.: Program proving: Coroutines. Acta Informatica 2, 50–63 (1973)

  2. 2.

    Clint, M., Hoare, C. A. R.: Program proving: Jumps and functions. Acta Informatica 1, 214–224 (1972)

  3. 3.

    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

  4. 4.

    Hoare, C. A. R.: An axiomatic basis for computer programming. Comm. ACM 12, 576–580 (1969)

  5. 5.

    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

  6. 6.

    Hoare, C. A. R.: Parallel programming: an axiomatic approach. Computer Languages 1, 151–160 (1975)

  7. 7.

    Hoare, C. A. R., Lauer, P. E.: Consistent and complementary formal theories of the semantics of programming languages. Acta Informatica 3, 135–153 (1974)

  8. 8.

    Knuth, D. E.: Structured programming with goto statements. Computing Surveys 6, 261–301 (1974)

Download references

Author information

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Kowaltowski, T. Axiomatic approach to side effects and general jumps. Acta Informatica 7, 357–360 (1977).

Download citation


  • Information System
  • Operating System
  • Data Structure
  • Communication Network
  • Information Theory