Back to Search Start Over

On the interplay of exception handling and design by contract.

Authors :
RebĂȘlo, Henrique
Coelho, Roberta
Lima, Ricardo
Leavens, Gary T.
Huisman, Marieke
Mota, Alexandre
Castor, Fernando
Source :
Proceedings of the 13th Workshop: Formal Techniques for Java-Like Programs; Jul2011, p1-6, 6p
Publication Year :
2011

Details

Language :
English
ISBNs :
9781450308939
Database :
Complementary Index
Journal :
Proceedings of the 13th Workshop: Formal Techniques for Java-Like Programs
Publication Type :
Conference
Accession number :
83784371
Full Text :
https://doi.org/10.1145/2076674.2076681