de Snepscheut. Semantics of exceptions (1994)

by K Rustan M Leino, Jan L A van
Venue:Proceedings of the IFIP WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods, and Calculi