Fri 30 Oct 2015 16:15 - 16:37 at Grand Station 1 - 13. Type Systems Chair(s): Nobuko Yoshida

We study a novel approach to typestate-oriented programming based on the chemical metaphor: state and operations on objects are molecules of messages and state transformations are chemical reactions. This approach allows us to investigate typestate in an inherently concurrent setting, whereby objects can be accessed and modified concurrently by several processes, each potentially changing only part of their state. We introduce a simple behavioral type theory to express in a uniform way both the private and the public interfaces of objects, to describe and enforce structured object protocols consisting of possibilities, prohibitions, and obligations, and to control object sharing.

Fri 30 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

15:30 - 17:00: OOPSLA - 13. Type Systems at Grand Station 1
Chair(s): Nobuko YoshidaImperial College London, UK
oopsla201515:30 - 15:52
Sebastian ErdwegTU Darmstadt, Germany, Oliver BračevacTU Darmstadt, Edlira KuciTU Darmstadt, Germany, Matthias KrebsTU Darmstadt, Germany, Mira MeziniTU Darmstadt
Link to publication Pre-print
oopsla201515:52 - 16:15
Stephan BrandauerUppsala University, Dave ClarkeUppsala University, Sweden and KU Leuven, Belgium, Tobias WrigstadUppsala University
Link to publication File Attached
oopsla201516:15 - 16:37
Silvia CrafaUniversità di Padova, Italy, Luca Padovani
oopsla201516:37 - 17:00
Matías ToroUniversity of Chile, Chile, Éric TanterUniversity of Chile, Chile