Coupling catch clauses with local declarations

Paola Giannini, Marco Servetto, Elena Zucca

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

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.

Lingua originaleInglese
Titolo della pubblicazione ospiteProceedings of the 18th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2016 - Co-located with ECOOP 2016
EditoreAssociation for Computing Machinery, Inc
ISBN (elettronico)9781450344395
DOI
Stato di pubblicazionePubblicato - 17 lug 2016
Evento18th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2016 - Rome, Italy
Durata: 19 lug 2016 → …

Serie di pubblicazioni

NomeProceedings of the 18th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2016 - Co-located with ECOOP 2016

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???18th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2016
Paese/TerritorioItaly
CittàRome
Periodo19/07/16 → …

Fingerprint

Entra nei temi di ricerca di 'Coupling catch clauses with local declarations'. Insieme formano una fingerprint unica.

Cita questo