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

Tue 7 Jul

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

10:15 - 12:15
Session 1FTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
10:15
30m
Talk
A three-valued type system for true positives detection in Java-like languages
FTfJP
Davide Ancona University of Genova, Federico Frassetto
10:45
30m
Talk
Imperative Objects with Dependent Types
FTfJP
Joana Campos Lasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. Vasconcelos Lasige / Faculty of Sciences, Universidade de Lisboa
11:15
30m
Talk
Foo: A minimal Modern OO Calculus
FTfJP
Prodromos Gerakios National Technical University of Athens, George Fourtounis University of Athens, Yannis Smaragdakis University of Athens
11:45
30m
Talk
Delegation vs Inheritance for Typestate Analysis
FTfJP
Du Li Carnegie Mellon University, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University