Functional semantics of programs with exceptions

Anderson, 1981 Avizienis, 1985, The N-Version approach to fault tolerant software, IEEE Trans. Soft. Engng, 11, 1491, 10.1109/TSE.1985.231893 Berry, 1980, Toward modular verifiable exception handling, Computer Languages, 5, 10.1016/0096-0551(80)90049-1 1980, 416 Black, 1980, Exception handling and data abstraction, IBM Research Report RC 8059 Bolot, 1989, Formal verification of programs with exceptions, 283 Campbell, 1986, Error recovery in asynchronous systems, IEEE Trans. Soft. Engng, 12, 811, 10.1109/TSE.1986.6312984 Cocco, 1982, A mechanism for exception handling and its verification rules, J. Comput. Lang., 7, 89, 10.1016/0096-0551(82)90024-8 Cristian, 1982, Exception handling and software fault tolerance, IEEE Trans. Comput., 31, 531, 10.1109/TC.1982.1676035 Cristian, 1982, Robust data types, Acta Informatica, 12, 365 Cristian, 1983, Consistent relational and predicate transformer semantics of a sequential deterministic language supporting exception handling, GMD-ISF Report 83.03.02 Cristian, 1984, Correct and robust programs, IEEE Trans. Soft. Engng, 10, 365 Dijsktra, 1981 Ichbiah, 1979, Rationale for the design of the ADA programming language, SIGPLAN Not., 14, 10.1145/956653.956654 Gannon, 1987, Theory of modules, IEEE Trans. Soft. Engng, 13, 820, 10.1109/TSE.1987.233493 Goguen, 1978, Abstract errors for abstract data types, 491 Guttag, 1977, Some extensions to algebraic specifications, SIGPLAN Not., 12, 63, 10.1145/390017.808312 Guttag, 1978, The algebraic specification of abstract data types, Acta Informatica, 10, 27, 10.1007/BF00260922 Hoare, 1972, Proof of correctness of data representations, Acta Informatica, 1, 271, 10.1007/BF00289507 Linger, 1988, A case study in Cleanroom software engineering: The IBM Cobol Structuring Facility, 10 Linger, 1989, Mathematics-based software engineering for completely validated software, 358 Liskov, 1979, Exception handling in CLU, IEEE Trans. Soft. Engng, 5, 546, 10.1109/TSE.1979.230191 Lukham, 1980, Ada exception handling: an axiomatic approach, ACM Trans. Prog. Lang. Syst., 2, 225, 10.1145/357094.357100 Mills, 1987 Mills, 1987, Cleanroom software engineering, IEEE Software, 19, 10.1109/MS.1987.231413 Mitchell, 1978 Randell, 1975, System structure for software fault tolerance, IEEE Trans. Soft. Engng, 1, 220, 10.1109/TSE.1975.6312842 Wulf, 1976, An introduction to the construction and verification of Alphard programs, IEEE Trans. Soft. Engng, 2, 253, 10.1109/TSE.1976.233830 Yemini, 1987, An axiomatic treatment of exception handling in an expression-oriented language, ACM Trans. Prog. Lang. Syst., 9, 390, 10.1145/24039.24052