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

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

10:15 - 12:15: Session 1FTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
10:15 - 10:45
Talk
A three-valued type system for true positives detection in Java-like languages
FTfJP
Davide AnconaUniversity of Genova, Federico Frassetto
10:45 - 11:15
Talk
Imperative Objects with Dependent Types
FTfJP
Joana CamposLasige / Faculty of Sciences, Universidade de Lisboa, Vasco VasconcelosLasige / Faculty of Sciences, Universidade de Lisboa
11:15 - 11:45
Talk
Foo: A minimal Modern OO Calculus
FTfJP
Prodromos GerakiosNational Technical University of Athens, George FourtounisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
11:45 - 12:15
Talk
Delegation vs Inheritance for Typestate Analysis
FTfJP
Du LiCarnegie Mellon University, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University