Initialize-and-catch

Paola Giannini, Marco Servetto, Elena Zucca

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

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.

Lingua originaleInglese
Titolo della pubblicazione ospite2016 Symposium on Applied Computing, SAC 2016
EditoreAssociation for Computing Machinery
Pagine1819-1822
Numero di pagine4
ISBN (elettronico)9781450337397
DOI
Stato di pubblicazionePubblicato - 4 apr 2016
Evento31st Annual ACM Symposium on Applied Computing, SAC 2016 - Pisa, Italy
Durata: 4 apr 20168 apr 2016

Serie di pubblicazioni

NomeProceedings of the ACM Symposium on Applied Computing
Volume04-08-April-2016

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

???event.eventtypes.event.conference???31st Annual ACM Symposium on Applied Computing, SAC 2016
Paese/TerritorioItaly
CittàPisa
Periodo4/04/168/04/16

Fingerprint

Entra nei temi di ricerca di 'Initialize-and-catch'. Insieme formano una fingerprint unica.

Cita questo