A mechanism for exception handling and its verification rules

An axiomatic treatment of exception handling in an expression-oriented language

“…Other axiomatic treatments of exception handling that the authors are aware of include those of Cristian [6,7], Cocco and Dulli [5], Levin The first three axiom systems are for exception handling schemes designed by their respective authors, which, like ours, are designed with the explicit intent of being verifiable. The last axiom system is for a previously designed language, Adam2 [2, 14].…”

A model of exceptions in sales-order-processing workflows

“…More basic research into aspects of exception detection and handling in information technology has focused largely on general approaches to exception detection, exception classification, and exception handling in respect to different types of programming language, such as functional and object-oriented programming languages [67][68][69][70][71]. Exceptions may occur on an irregular basis because of malfunctioning hardware components, because of design errors, and because of other general classes of exception [68,70]. Once detected an appropriate exception handler needs to be invoked to resolve the exception, so that the normal flow of control may continue.…”