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

Displayed time zone: Eastern Time (US & Canada) change

15:30 - 17:00
13. Type SystemsOOPSLA at Grand Station 1
Chair(s): Nobuko Yoshida Imperial College London, UK
15:30
22m
Talk
A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking
OOPSLA
Sebastian Erdweg TU Darmstadt, Germany, Oliver Bračevac TU Darmstadt, Edlira Kuci TU Darmstadt, Germany, Matthias Krebs TU Darmstadt, Germany, Mira Mezini TU Darmstadt
Link to publication Pre-print
15:52
22m
Talk
Disjointness Domains for Fine-Grained Aliasing
OOPSLA
Stephan Brandauer Uppsala University, Dave Clarke Uppsala University, Sweden and KU Leuven, Belgium, Tobias Wrigstad Uppsala University
Link to publication File Attached
16:15
22m
Talk
The Chemical Approach to Typestate-Oriented Programming
OOPSLA
Silvia Crafa Università di Padova, Italy, Luca Padovani
DOI
16:37
22m
Talk
Customizable Gradual Polymorphic Effects for ScalaOOPSLA Artifact
OOPSLA
Matías Toro University of Chile, Chile, Éric Tanter University of Chile, Chile
DOI