A mechanism for exception handling and its verification rules
- 31 December 1982
- journal article
- Published by Elsevier in Computer Languages
- Vol. 7 (2) , 89-102
- https://doi.org/10.1016/0096-0551(82)90024-8
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Toward modular verifiable exception handlingComputer Languages, 1980
- Ada exception handling: an axiomatic approachACM Transactions on Programming Languages and Systems, 1980
- Exception Handling in CLUIEEE Transactions on Software Engineering, 1979
- Proof rules for gotosActa Informatica, 1979
- A General, Verifiable Iterative Control StructureIEEE Transactions on Software Engineering, 1977
- Remarks on ?program proving: Jumps and functions by M. Clint and C. A. R. Hoare?Acta Informatica, 1976
- Exception handlingCommunications of the ACM, 1975
- System structure for software fault toleranceIEEE Transactions on Software Engineering, 1975
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- Program proving: Jumps and functionsActa Informatica, 1972