Exception Safety for C#

Authors:
K. Rustan M. Leino;Wolfram Schulte
Affiliations:
Microsoft Research, Redmond, WA;Microsoft Research, Redmond, WA
Venue:
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Year:
2004

Citing 0
Cited 11

Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The Spec# Programming System: Challenges and Directions

Verified Software: Theories, Tools, Experiments
Translation and optimization for a core calculus with exceptions

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Certificate translation for optimizing compilers

ACM Transactions on Programming Languages and Systems (TOPLAS)
Strong exception-safety for Java-like languages

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs
A specification logic for exceptions and beyond

ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Practical exception specifications

Advanced Topics in Exception Handling Techniques
The spec# programming system: an overview

CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Towards automatic exception safety verification

FM'06 Proceedings of the 14th international conference on Formal Methods
Behavioral interface specification languages

ACM Computing Surveys (CSUR)
Verification rules for exception handling in eiffel

SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications

Quantified Score

Hi-index	0.00

Visualization

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.