Exception Safety for C#

K. Rustan M. Leino and Wolfram Schulte

Abstract

Programming-language mechanisms for throwing and handling exceptions can simplify some computer programs. However, the use of exceptions can also be error prone, leading to new programming errors and code that is hard to understand. This paper describes ways to tame the exception usage in C#. In particular, the paper describes the treatment of exceptions in Spec#, an experimental superset of C# that includes code contracts.

Details

Publication typeInproceedings
Published inSEFM
Pages218-227
ISBN0-7695-2222-X
PublisherIEEE Computer Society
> Publications > Exception Safety for C#