Exception handling—A static approach
- 1 May 1984
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 14 (5) , 429-449
- https://doi.org/10.1002/spe.4380140504
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Toward modular verifiable exception handlingComputer Languages, 1980
- Pascal‐plus—another language for modular multiprogrammingSoftware: Practice and Experience, 1979
- Exception handling in PL/IACM SIGPLAN Notices, 1977
- Language design methods based on semantic principlesActa Informatica, 1977
- Exception handlingCommunications of the ACM, 1975
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Structured Programming with go to StatementsACM Computing Surveys, 1974
- Multiple exits from a loop without the GOTOCommunications of the ACM, 1973
- The next 700 programming languagesCommunications of the ACM, 1966
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965