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.
|
Year | DOI | Venue |
---|---|---|
2016 | 10.1145/2851613.2851943 | SAC 2016: Symposium on Applied Computing
Pisa
Italy
April, 2016 |
DocType | ISBN | Citations |
Conference | 978-1-4503-3739-7 | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Paola Giannini | 1 | 1 | 0.70 |
Marco Servetto | 2 | 61 | 11.51 |
Elena Zucca | 3 | 497 | 101.25 |