DARTS.3.2.3.pdf
- Filesize: 451 kB
- 3 pages
Document
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)
Authors
-
Part of:
Issue:
Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017)
Volume: DARTS, Volume 3 (ECOOP 2017)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Germany license
- Publication Date: 2017-06-20
Cite As Get BibTex
Alceste Scalas, Ornela Dardha, Raymond Hu, and Nobuko Yoshida. A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). In Special Issue of the 31st European Conference on Object-Oriented Programming (ECOOP 2017). Dagstuhl Artifacts Series (DARTS), Volume 3, Issue 2, pp. 3:1-3:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
https://doi.org/10.4230/DARTS.3.2.3
Artifact
DARTS-3-2-3-artifact-ae0ea460fbe40c7a96abba0913fe546c.tar.bz2
(Filesize: 1.52 GB)
MD5 Sum:
ae0ea460fbe40c7a96abba0913fe546c
(Get MD5 Sum)
Abstract
This artifact contains a version of the Scribble tool that, given a protocol specification with multiple participants, can generate Scala APIs for implementing each participant in a type-safe, protocol-abiding way. Crucially, the API generation leverages a decomposition of the multiparty protocol into type-safe peer-to-peer interactions between pairs of participants; and this, in turn, allows to implement the API internals on top of the existing lchannels library for type-safe binary session programming. As a result, several technically challenging aspects in the implementation of multiparty sessions are solved "for free", at the underlying binary level. This includes distributed multiparty session delegation: this artifact implements it for the first time.
Subject Classification
Keywords
- process calculi
- session types
- concurrent programming
- Scala
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- Raymond Hu and Nobuko Yoshida. Hybrid session verification through endpoint API generation. In FASE, 2016. URL: http://dx.doi.org/10.1007/978-3-662-49665-7_24.
- Alceste Scalas and Nobuko Yoshida. Lightweight session programming in Scala. In ECOOP, 2016. URL: http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.21.
- Alceste Scalas and Nobuko Yoshida. Lightweight Session Programming in Scala (Artifact). Dagstuhl Artifacts Series, 2(1), 2016. URL: http://dx.doi.org/http://dx.doi.org/10.4230/DARTS.2.1.11.