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 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 19 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 18:30 | |||
16:00 30mDemonstration | Tool Demonstration: The VeriFast Verification System for Java and C FTfJP Bart Jacobs iMinds - Distrinet, KU Leuven | ||
16:30 30mTalk | Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast FTfJP Bart Jacobs iMinds - Distrinet, KU Leuven | ||
17:00 30mTalk | Coupling Catch Clauses with Local Declarations FTfJP | ||
17:30 30mTalk | Towards Modular Reasoning for Context-Oriented Programs FTfJP | ||
18:00 30mTalk | Permission and Authority Revisited: Towards a Formalization FTfJP Sophia Drossopoulou Imperial College London, James Noble Victoria University of Wellington, Mark Miller Google Inc., Toby Murray University of Melbourne |