Lincoln S. Rocha, Rossana M. C. Andrade. Towards a formal model to reason about context-aware exception handling. In Proceedings of the 5th International Workshop on Exception Handling, WEH 2012, Zurich, Switzerland, June 9, 2012. pages 27-33, IEEE, 2012. [doi]
Abstract is missing.