A semantics for imprecise exceptions (1999)

by S L P Jones, A Reid, F Henderson, C A R Hoare, S Marlow
Venue:In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI