Neelam Soundarajan, Stephen Fridella. Exceptions in OO Languages: Using Them and Reasoning about Them. In Hubert B. Keller, Erhard Plödereder, editors, Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, Proceedings. Volume 1845 of Lecture Notes in Computer Science, pages 238-251, Springer, 2000.
Abstract is missing.