Delegation vs Inheritance for Typestate Analysis (FTfJP 2015) - ECOOP 2015

Sun 5 - Fri 10 July 2015 Prague, Czech Republic

Who

Du Li, Alex Potanin, Jonathan Aldrich

Track

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Tue 7 Jul 2015 11:45 - 12:15 at Hluboka I - Session 1 Chair(s): Rosemary Monahan

Du Li

Carnegie Mellon University

Alex Potanin

Victoria University of Wellington

New Zealand

Jonathan Aldrich

Carnegie Mellon University

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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