Options
Improving program correctness with atomic exception handling
Auteur(s)
Fetzer, Christof
Maison d'édition
: Graz Univ Technolgoy, Inst Information Systems Computer Media-Iicm
Date de parution
2006
De la page
1047
A la page
1072
Mots-clés
Résumé
Exception handling is a powerful mechanisms for dealing with failures at runtime. It simplifies the development of robust programs by allowing the programmer to implement recovery actions and tolerate non-fatal errors. Yet, exception handling is difficult to get right! The complexity of correct exception handling is a major cause for incorrect exception handling. It is therefore important to reduce the complexity of writing exception handling code while, at the same time, making sure it is correct. Our approach is to use atomic blocks for exception handling combined with optional compensation actions.
Nom de l'événement
Dagstuhl Seminar on Atomicity in Computer Science
Lieu
Dagstuhl Castle, GERMANY
Type de publication
Resource Types::text::conference output::conference proceedings::conference paper
