Title :
Exception safety for C#
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;
Conference_Titel :
Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on
Print_ISBN :
0-7695-2222-X
DOI :
10.1109/SEFM.2004.1347523
