Toward modular verifiable exception handling
- 31 December 1980
- journal article
- Published by Elsevier in Computer Languages
- Vol. 5 (2) , 77-101
- https://doi.org/10.1016/0096-0551(80)90049-1
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Some extensions to algebraic specificationsACM SIGPLAN Notices, 1977
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- Exception handlingCommunications of the ACM, 1975
- Automatic program verification I: A logical basis and its implementationActa Informatica, 1975
- The UNIX time-sharing systemCommunications of the ACM, 1974
- Programming with abstract data typesACM SIGPLAN Notices, 1974
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- On the criteria to be used in decomposing systems into modulesCommunications of the ACM, 1972
- A technique for software module specification with examplesCommunications of the ACM, 1972
- Proof of correctness of data representationsActa Informatica, 1972