An Axiomatic Treatment of Exception Handling

Shaula Yemini. An Axiomatic Treatment of Exception Handling. In POPL. pages 281-288, 1982.

Abstract

Abstract is missing.