DARTS.7.2.8.pdf
- Filesize: 426 kB
- 2 pages
Document
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact)
Authors
Paul Harvey 
,
Simon Fowler ,
Ornela Dardha ,
Simon J. Gay
-
Part of:
Issue:
Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021)
Volume: DARTS, Volume 7 (ECOOP 2021)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2021-07-06
Artifact Description
Document Identifiers
Author Details
Acknowledgements
Thanks to the ECOOP'21 AEC for their useful comments.
Cite As Get BibTex
Paul Harvey, Simon Fowler, Ornela Dardha, and Simon J. Gay. Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact). In Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021). Dagstuhl Artifacts Series (DARTS), Volume 7, Issue 2, pp. 8:1-8:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/DARTS.7.2.8
Artifact
DARTS-7-2-8-artifact-8b223e1c291a4fc141040acb18b094fb.zip
(Filesize: 5.89 GB)
MD5 Sum:
8b223e1c291a4fc141040acb18b094fb
(Get MD5 Sum)
Abstract
This is the companion artifact for the paper "Multiparty Session Types for Safe Runtime Adaptation in an Actor Language". EnsembleS is an actor-based programming language supporting dynamic self-adaptation, (discovery, replacement, and communication), which also guarantees communication safety. The artifact includes the EnsembleS compiler, the modified StMungo code, and all examples contained within the paper.
Subject Classification
ACM Subject Classification
- Software and its engineering → Concurrent programming languages
Keywords
- Concurrency
- session types
- adaptation
- actors
- trust
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads