On the interplay of exception handling and design by contract: an aspect-oriented recovery approach

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]

Authors

Henrique Rebêlo

This author has not been identified. Look up 'Henrique Rebêlo' in Google

Roberta Coelho

This author has not been identified. Look up 'Roberta Coelho' in Google

Ricardo M. F. Lima

This author has not been identified. Look up 'Ricardo M. F. Lima' in Google

Gary T. Leavens

This author has not been identified. It may be one of the following persons: Look up 'Gary T. Leavens' in Google

Marieke Huisman

This author has not been identified. Look up 'Marieke Huisman' in Google

Alexandre Mota

This author has not been identified. Look up 'Alexandre Mota' in Google

Fernando Castor

This author has not been identified. Look up 'Fernando Castor' in Google