Title: Modular type checking of anchored exception declarations
Authors: van Dooren, Marko ×
Jacobs, Bart
Joosen, Wouter #
Issue Date: 1-Jul-2014
Publisher: North-Holland Pub. Co.
Series Title: Science of Computer Programming vol:87 pages:44-61
Abstract: Checked exceptions improve the robustness of software, but they also decrease its adaptability because they must be propagated explicitly, and because they must often be handled even if they cannot be thrown. Anchored exception declarations solve both problems by allowing a method to declare its exceptional behavior in terms of other methods.
The original type checking analyses for anchored exception declarations, however, are not modular. In this paper, we present algorithms for modular verification of soundness in an object-oriented language without parametric polymorphism.
ISSN: 0167-6423
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
modular_anchors.pdf Accepted 269KbAdobe PDFView/Open


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

© Web of science