ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Tue 7 Jul 2015 14:15 - 14:45 at Hluboka I - Session 2 Chair(s): Rosemary Monahan

Tue 7 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:45 - 14:45
Session 2FTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
13:45
30m
Talk
Provably Live Exception Handling
FTfJP
Bart JacobsiMinds - Distrinet, KU Leuven
14:15
30m
Talk
Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML
FTfJP
Jorne KandzioraUniversity of Twente, Marieke HuismanUniversity of Twente, Christoph BockischUniversity of Twente, Marina Zaharieva-StojanovskiUniversity of Twente