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. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1145/2955811.2955817 | FTfJP@ECOOP |
Field | DocType | Citations |
Declaration,Programming language,Coupling,Functional programming,Computer science,Theoretical computer science,Initialization,Java,Local variable,Computation | Conference | 0 |
PageRank | References | Authors |
0.34 | 5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Paola Giannini | 1 | 449 | 50.00 |
Marco Servetto | 2 | 61 | 11.51 |
Elena Zucca | 3 | 497 | 101.25 |