Henrique Rebêlo, Roberta Coelho, Ricardo M. F. Lima, Gary T. Leavens, Marieke Huisman, Alexandre Mota, Fernando Castor. On the interplay of exception handling and design by contract: an aspect-oriented recovery approach. In Stephen N. Freund, editor, Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011. ACM, 2011. [doi]
Abstract is missing.