ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 14:00 - 14:30 at S4 (BEHAPI) - Behavioural Types for API-based software Chair(s): emilio tuosto

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:30
Behavioural Types for API-based softwareBEHAPI at S4 (BEHAPI)
Chair(s): emilio tuosto University of Leicester
13:30
30m
Talk
Mailbox Types for Unordered Interactions
BEHAPI
Ugo de'Liguoro Università di Torino, Luca Padovani University of Turin
14:00
30m
Talk
A Behavioural Type System for Mungo with Generics
BEHAPI
A: Hans Hüttel Department of Computer Science, Aalborg University
14:30
30m
Talk
A Virtual-Machine Metaobject Protocol for Run-Time Software Adaptation
BEHAPI
Guido Chari Czech Technical University, Czechia
15:00
30m
Talk
Hardware Interactions as Behavioural Types.
BEHAPI
Francisco Martins University of Lisbon