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.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo