Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/85900
Title: | Session types in Elixir |
Authors: | Tabone, Gerard Francalanza, Adrian |
Keywords: | Software engineering Computer software -- Verification Functional programming (Computer science) Elixir (Computer program language) Computer multitasking |
Issue Date: | 2021 |
Publisher: | Association for Computing Machinery |
Citation: | Tabone, G., & Francalanza, A. (2021). Session types in Elixir. 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE ’21), Chicago. 12-23. |
Abstract: | This paper proposes an adaptation of session types to provide behavioural information about public functions in Elixir modules. We formalise typechecking rules for the main constructs of the language. This allows us to statically determine whether a function implementation observes its session endpoint specification. Based on this type system, we then construct a tool that automates typechecking for Elixir modules. |
URI: | https://www.um.edu.mt/library/oar/handle/123456789/85900 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Session Types in Elixir.pdf Restricted Access | 716.12 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.