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

nool2015
08:30 - 10:00: NOOL - Concurrent OO Languages at Ellwood 2
Chair(s): Alex PotaninVictoria University of Wellington
nool201508:30 - 09:00
Talk
Alex PotaninVictoria University of Wellington, James NobleVictoria University of Wellington
nool201509:00 - 09:30
Talk
Link to publication
nool201509:30 - 10:00
Talk
Dave ClarkeUppsala University, Sweden and KU Leuven, Belgium, Tobias WrigstadUppsala University, Nobuko YoshidaImperial College London, UK, Frank S. de Boer, Einar Broch JohnsenUniversity of Oslo