@inproceedings{58484a1d34344a1f9ddfbfee7df82ceb,
title = "Coupling catch clauses with local declarations",
abstract = "We propose an alternative to the usual try-catch construct, where catch clauses are coupled with the declaration of a local variable, rather than with an arbitrary expression. That is, in case initialization of the local variable fails, they provide an alternative computation which does not depend on such variable. This alternative mechanism subsumes the standard one and allows a more natural and functional programming style. We illustrate such advantages by some paradigmatic examples. The proposal is formalized as an extension of Featherweight Java (FJ) with a type system which can be proved to be sound.",
keywords = "Exceptions, Featherweight Java, Language design, Typed calculus",
author = "Paola Giannini and Marco Servetto and Elena Zucca",
note = "Publisher Copyright: {\textcopyright} 2016 ACM.; 18th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2016 ; Conference date: 19-07-2016",
year = "2016",
month = jul,
day = "17",
doi = "10.1145/2955811.2955817",
language = "English",
series = "Proceedings of the 18th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2016 - Co-located with ECOOP 2016",
publisher = "Association for Computing Machinery, Inc",
booktitle = "Proceedings of the 18th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2016 - Co-located with ECOOP 2016",
}