Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Tue 19 Jul 2016 17:00 - 17:30 at Belli - Session 4 Chair(s): Vladimir Klebanov

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.

Tue 19 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:30: FTfJP - Session 4 at Belli
Chair(s): Vladimir KlebanovKarlsruhe Institute of Technology
FTfJP-201616:00 - 16:30
Bart JacobsiMinds - Distrinet, KU Leuven
FTfJP-201616:30 - 17:00
Bart JacobsiMinds - Distrinet, KU Leuven
FTfJP-201617:00 - 17:30
Paola Giannini, Marco ServettoVictoria University of Wellington, Elena ZuccaUniversity of Genova
FTfJP-201617:30 - 18:00
Tomoyuki AotaniTokyo Institute of Technology, Japan, Gary LeavensCentral Florida University
FTfJP-201618:00 - 18:30
Sophia DrossopoulouImperial College London, James NobleVictoria University of Wellington, Mark MillerGoogle Inc., Toby MurrayUniversity of Melbourne