Modular type checking of anchored exception declarations

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.publisher: Elsevier articletitle: Modular type checking of anchored exception declarations journaltitle: Science of Computer Programming articlelink: http://dx.doi.org/10.1016/j.scico.2013.10.007 content_type: article copyright: Copyright © 2013 Elsevier B.V. All rights reserved.status: publishe