DocumentCode
1652296
Title
Exception safety for C#
Author
Schulte, W.
fYear
2004
Firstpage
218
Lastpage
227
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.
Keywords
C language; exception handling; program compilers; program diagnostics; C# language; Specft; code contracts; computer programs; exception handling; exception safety; exception throwing; exception usage; programming errors; programming-language mechanism; Computer errors; Computer languages; Context modeling; Contracts; Error correction; Java; Programming profession; Runtime; Safety; Software engineering;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on
Print_ISBN
0-7695-2222-X
Type
conf
DOI
10.1109/SEFM.2004.1347523
Filename
1347523
Link To Document