@inproceedings{75417cca971541a59fa69ce96bbe8514,
title = "Initialize-and-catch",
abstract = "In this extended abstract we propose to enhance declaration of local variables with a catching mechanism. This provides a more powerful and methodologically more appropriate mechanism of catching exceptions than the usual try/catch construct. The advantages are highlighted by presenting 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.; 31st Annual ACM Symposium on Applied Computing, SAC 2016 ; Conference date: 04-04-2016 Through 08-04-2016",
year = "2016",
month = apr,
day = "4",
doi = "10.1145/2851613.2851943",
language = "English",
series = "Proceedings of the ACM Symposium on Applied Computing",
publisher = "Association for Computing Machinery",
pages = "1819--1822",
booktitle = "2016 Symposium on Applied Computing, SAC 2016",
}