Tue 27 Oct 2015 09:00 - 09:30 at Ellwood 2 - Concurrent OO Languages Chair(s): Alex Potanin

I’ll demo a simple language of concurrent objects which explores the design space between type systems and continuous testing. In our language, finite-state programs are checked automatically for multiparty compatibility. This property of communicating automata, taken from the session types literature but here applied to terms rather than types, guarantees that no state-related errors arise during execution: no object gets stuck because it was sent the wrong message, and every message is processed.

The usual object-oriented notion of subtyping is also interpreted at the level of terms rather than types. An abstraction takes the form of a prototypical implementation against which another program can be automatically tested for behavioural conformance. Any program can act as an abstraction, and conversely every abstraction is a concrete program that can be executed.

Tue 27 Oct

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

08:30 - 10:00
Concurrent OO LanguagesNOOL at Ellwood 2
Chair(s): Alex Potanin Victoria University of Wellington
08:30
30m
Talk
Welcome Session
NOOL
Alex Potanin Victoria University of Wellington, James Noble Victoria University of Wellington
09:00
30m
Talk
Behavioural Prototypes
NOOL
Link to publication
09:30
30m
Talk
Inversion in Programming Language Design: The Encore Way
NOOL
Dave Clarke Uppsala University, Sweden and KU Leuven, Belgium, Tobias Wrigstad Uppsala University, Nobuko Yoshida Imperial College London, UK, Frank S. de Boer , Einar Broch Johnsen University of Oslo