Benefits of Session Types for software Development

Voinea, A. L. and Gay, S. J. (2016) Benefits of Session Types for software Development. In: 7th International Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU), Amsterdam, Netherlands, 01 Nov 2016, pp. 26-29. ISBN 9781450346382 (doi: 10.1145/3001878.3001883)

135321.pdf - Accepted Version



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.

Item Type:Conference Proceedings
Glasgow Author(s) Enlighten ID:VOINEA, Laura and Gay, Professor Simon
Authors: Voinea, A. L., and Gay, S. J.
College/School:College of Science and Engineering > School of Computing Science
Copyright Holders:Copyright © 2016 ACM
First Published:First published in 7th International Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU): 26-29
Publisher Policy:Reproduced in accordance with the publisher copyright policy

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
612411From Data Types to Session Types - A Basis for Concurrency and Distribution.Simon GayEngineering & Physical Sciences Research Council (EPSRC)EP/K034413/1COM - COMPUTING SCIENCE