DARTS.5.2.5.pdf
- Filesize: 399 kB
- 3 pages
Document
Minimal Session Types (Artifact)
Authors
Alen Arslanagić 
,
Jorge A. Pérez ,
-
Part of:
Issue:
Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Volume: DARTS, Volume 5 (ECOOP 2019)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Germany license
- Publication Date: 2019-07-12
Artifact Description
Document Identifiers
Author Details
Acknowledgements
We are grateful to the anonymous artifact reviewers for their suggestions. Pérez is also with CWI, Amsterdam and the NOVA Laboratory for Computer Science and Informatics (FCT grant NOVA LINCS PEst/UID/CEC/04516/2013), Universidade Nova de Lisboa, Portugal.
Cite As Get BibTex
Alen Arslanagić, Jorge A. Pérez, and Erik Voogd. Minimal Session Types (Artifact). In Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Dagstuhl Artifacts Series (DARTS), Volume 5, Issue 2, pp. 5:1-5:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/DARTS.5.2.5
Artifact
DARTS-5-2-5-artifact-381ff0f71f30f9711a7afd9dd210bb04.tar.gz
(Filesize: 6.36 MB)
MD5 Sum:
381ff0f71f30f9711a7afd9dd210bb04
(Get MD5 Sum)
Abstract
This artifact contains MISTY, a tool that decomposes message-passing programs with session types into programs typable with the minimal session types we introduce in our ECOOP paper. MISTY incorporates a domain-specific language for message-passing concurrency based on a higher-order process calculus with {session types}. Given a source program in this language, MISTY follows the results in our ECOOP paper to produce LaTeX code for its corresponding decomposition. To demonstrate the tight connection between source and decomposed programs, MISTY also allows users to simulate their corresponding reductions.
Subject Classification
ACM Subject Classification
- Theory of computation → Type structures
- Theory of computation → Process calculi
- Software and its engineering → Concurrent programming structures
- Software and its engineering → Message passing
Keywords
- Session types
- process calculi
- pi-calculus
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- Jeff Epstein, Andrew P. Black, and Simon Peyton-Jones. Towards Haskell in the Cloud. SIGPLAN Not., 46(12):118-129, September 2011. URL: http://dx.doi.org/10.1145/2096148.2034690.