ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
ECOOP 2015 (series) / FTfJP 2015 (series) / FTfJP 2015 /

Provably Live Exception Handling

FTfJP 2015
Tue 7 Jul 2015 13:45 - 14:15 at Hluboka I - Session 2 Chair(s): Rosemary Monahan

Assistant professor at the iMinds-DistriNet research group at the Department of Computer Science, KU Leuven - University of Leuven, Belgium

Tue 7 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:45 - 14:45
Session 2FTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
13:45
30m
Talk
Provably Live Exception Handling
FTfJP
Bart Jacobs iMinds - Distrinet, KU Leuven
14:15
30m
Talk
Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML
FTfJP
Jorne Kandziora University of Twente, Marieke Huisman University of Twente, Christoph Bockisch University of Twente, Marina Zaharieva-Stojanovski University of Twente
Bart Jacobs

Bart Jacobs

iMinds - Distrinet, KU Leuven