DARTS.6.2.18.pdf
- Filesize: 307 kB
- 2 pages
Document
Multiparty Session Programming with Global Protocol Combinators (Artifact)
Authors
Keigo Imai 
,
Rumyana Neykova ,
Nobuko Yoshida ,
Shoji Yuen
-
Part of:
Issue:
Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Volume: DARTS, Volume 6 (ECOOP 2020)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2020-11-06
Artifact Description
Document Identifiers
Author Details
Acknowledgements
We thank David Castro-Perez, Nicolas Lagaillardie, Julien Lange, and anonymous reviewers for their comments on an early version of this artifact. Our work is partially supported by the first author’s visitor funding to Imperial College London and Brunel University London supported by Gifu University, VeTSS, JSPS KAKENHI Grant Numbers JP17H01722, JP17K19969 and JP17K12662, JSPS Short-term Visiting Fellowship S19068, EPSRC Doctoral Prize Fellowship, and EPSRC EP/K011715/1, EP/K034413/1, EP/L00058X/1, EP/N027833/1, EP/N028201/1, EP/T006544/1 and EP/T014709/1.
Cite As Get BibTex
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, and Shoji Yuen. Multiparty Session Programming with Global Protocol Combinators (Artifact). In Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020). Dagstuhl Artifacts Series (DARTS), Volume 6, Issue 2, pp. 18:1-18:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
https://doi.org/10.4230/DARTS.6.2.18
Artifact
DARTS-6-2-18-artifact-36647830f1d645fb424aa9661bec7920.ova
(Filesize: 4.85 GB)
MD5 Sum:
36647830f1d645fb424aa9661bec7920
(Get MD5 Sum)
Abstract
In the paper "Multiparty Session Programming with Global Protocol Combinators", we introduce a library, ocaml-mpst for programming with global combinators - a set of functions for writing and verifying multiparty protocols in OCaml. Local behaviours for all processes in a protocol are inferred at once from a global combinator. Our approach enables fully-static verification and implementation of the whole protocol, from the protocol specification to the process implementations, to happen in the same language. This artifact is the source code of ocaml-mpst, with all the examples and benchmarks discussed in the paper.
Subject Classification
ACM Subject Classification
- Software and its engineering → Concurrent programming structures
- Theory of computation → Type structures
- Software and its engineering → Functional languages
- Software and its engineering → Polymorphism
Keywords
- Multiparty Session Types
- Communication Protocol
- Concurrent and Distributed Programming
- OCaml
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads