ETAPS 2019 (series) / PLACES 2019 (series) / 11th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software /
Concurrent Typestate-Oriented Programming in Java
We describe a generative approach that enables concurrent typestate-oriented programming in Java and other mainstream languages. The approach allows programmers to implement objects exposing a state-sensitive interface using a high-level synchronization abstraction that synchronizes methods with the states of the receiver object in which those methods have an effect. An external tool takes care of generating all the boilerplate code that implements the synchronization logic. Behavioral types are used to specify object protocols. The tool integrates protocol conformance verification with the synchronization logic so that protocol violations are promptly detected at runtime
Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:00 | |||
11:00 30mFull-paper | FreeST: context-free session types in a functional language PLACES Bernardo Almeida Universidade de Lisboa, Andreia Mordido Lasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. Vasconcelos University of Lisbon, Portugal | ||
11:30 30mFull-paper | Concurrent Typestate-Oriented Programming in Java PLACES |