Title: Modular anchored exception declarations
Authors: van Dooren, Marko
Joosen, Wouter
Issue Date: Aug-2009
Publisher: Department of Computer Science, K.U.Leuven
Series Title: CW Reports vol:CW544
Abstract: Checked exceptions improve the robustness of software, but decrease its adaptability because they must be propagated explicitly, and because they must often be handled even if they cannot be signalled. Anchored exception declarations solve these problems by allowing a method to declare its exceptional behavior in terms of other methods.

The original type checking algorithms for anchored exception declarations, however, are not modular. In this paper, we present algorithms that allow complete, modular, and decidable veriשּׁĀcation of exception safety in a language without parametric polymorphism. In addition, we show that both complete exception flow analysis and complete exception safety analysis based on type information are undecidable in a language with subtyping and parametric polymorphism.
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
CW544.pdfDocument Published 626KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.