Proof rules for gotos
- 1 June 1979
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 11 (2) , 139-148
- https://doi.org/10.1007/bf00264021
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- The Design of Well-Structured and Correct ProgramsPublished by Springer Nature ,1978
- Axiomatic approach to side effects and general jumpsActa Informatica, 1977
- Remarks on ?program proving: Jumps and functions by M. Clint and C. A. R. Hoare?Acta Informatica, 1976
- Structured Programming with go to StatementsACM Computing Surveys, 1974
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- Program proving: Jumps and functionsActa Informatica, 1972
- Proof of a programCommunications of the ACM, 1971
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Letters to the editor: go to statement considered harmfulCommunications of the ACM, 1968