Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Tue 1 Nov 2016 14:00 - 14:30 at Matterhorn 2 - Session 3 Chair(s): Craig Anslow

Session types are a formalism used to specify and check the correctness of communication based systems. Within their scope, they can guarantee the absence of communication errors such as deadlock, sending an unexpected message or failing to handle an incoming message. Introduced over two decades ago, they have developed into a significant theme in programming languages. In this paper we examine the beliefs that drive research into this area and make it popular. We look at the claims and motivation behind session types throughout the literature. We identify the hypotheses upon which session types have been designed and implemented, and attempt to clarify and formulate them in a more suitable manner for testing.

Conference Day
Tue 1 Nov

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

13:30 - 15:10
Session 3PLATEAU at Matterhorn 2
Chair(s): Craig AnslowMiddlesex University, UK
13:30
30m
Talk
A Quantitative Study of Java Software Buildability
PLATEAU
Matúš SulírTechnical University of Košice, Jaroslav PorubänTechnical University of Košice, Slovakia
DOI Pre-print
14:00
30m
Talk
Benefits of Session Types for Software Development
PLATEAU
A. Laura VoineaUniversity of Glasgow, UK, Simon J. GayUniversity of Glasgow, UK
DOI Pre-print
14:30
20m
Talk
What Do We Really Know about Data Flow Languages?
PLATEAU
Guido SalvaneschiTU Darmstadt, Germany
DOI Pre-print
14:50
20m
Talk
What Is a Programming Language, Really?
PLATEAU
Amy KoUniversity of Washington
DOI Pre-print