Benefits of Session Types for Software Development
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.
Tue 1 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:10
|A Quantitative Study of Java Software Buildability
Matúš Sulír Technical University of Košice, Jaroslav Porubän Technical University of Košice, SlovakiaDOI Pre-print
|Benefits of Session Types for Software Development
|What Do We Really Know about Data Flow Languages?
Guido Salvaneschi TU Darmstadt, GermanyDOI Pre-print
|What Is a Programming Language, Really?
Amy Ko University of WashingtonDOI Pre-print