An exception handling mechanism for SR
- 31 December 1990
- journal article
- Published by Elsevier in Computer Languages
- Vol. 15 (3) , 163-176
- https://doi.org/10.1016/0096-0551(90)90009-e
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- An overview of the SR language and implementationACM Transactions on Programming Languages and Systems, 1988
- Predicate transfer and timeout in message passing systemsInformation Processing Letters, 1987
- A modular verifiable exception handling mechanismACM Transactions on Programming Languages and Systems, 1985
- A mechanism for exception handling and its verification rulesComputer Languages, 1982
- Exception Handling in CLUIEEE Transactions on Software Engineering, 1979
- Exception handlingCommunications of the ACM, 1975