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)
|
Text
135321.pdf - Accepted Version 173kB |
Abstract
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 |
---|---|
Status: | Published |
Refereed: | Yes |
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 |
ISBN: | 9781450346382 |
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