Systematic detection of exception occurrences
- 31 October 1981
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 1 (1-2) , 115-144
- https://doi.org/10.1016/0167-6423(81)90007-1
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Robust data typesPublished by Springer Nature ,1982
- Ada exception handling: an axiomatic approachACM Transactions on Programming Languages and Systems, 1980
- A characterization of weakest preconditionsJournal of Computer and System Sciences, 1977