zbMATH — the first resource for mathematics

Axiomatic approach to side effects and general jumps. (English) Zbl 0325.68010

68N01 General topics in the theory of software
Full Text: DOI
[1] Clint, M.: Program proving: Coroutines. Acta Informatica 2, 50-63 (1973) · doi:10.1007/BF00571463
[2] Clint, M., Hoare, C. A. R.: Program proving: Jumps and functions. Acta Informatica 1, 214-224 (1972) · Zbl 0229.68003 · doi:10.1007/BF00288686
[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 · Zbl 0189.50204
[4] Hoare, C. A. R.: An axiomatic basis for computer programming. Comm. ACM 12, 576-580 (1969) · Zbl 0179.23105 · doi:10.1145/363235.363259
[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 · Zbl 0221.68020
[6] Hoare, C. A. R.: Parallel programming: an axiomatic approach. Computer Languages 1, 151-160 (1975) · Zbl 0362.68045 · doi:10.1016/0096-0551(75)90014-4
[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) · Zbl 0264.68006
[8] Knuth, D. E.: Structured programming with goto statements. Computing Surveys 6, 261-301 (1974) · Zbl 0301.68014 · doi:10.1145/356635.356640
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.