Creative Commons Attribution 3.0 Germany license (CC BY 3.0 DE)when quoting this document, please refer to the following
DOI: 10.4230/DARTS.5.2.5
URN: urn:nbn:de:0030-drops-107825
URL: https://drops.dagstuhl.de/opus/volltexte/2019/10782/
Arslanagic, Alen ; Pérez, Jorge A. ; Voogd, Erik
Minimal Session Types (Artifact)
| pdf-format: |
|
|
| artifact-format: |
|
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.
BibTeX - Entry
@Article{arslanagic_et_al:DARTS:2019:10782,
author = {Alen Arslanagic and Jorge A. P{\'e}rez and Erik Voogd},
title = {{Minimal Session Types (Artifact)}},
pages = {5:1--5:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2019},
volume = {5},
number = {2},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10782},
doi = {10.4230/DARTS.5.2.5},
annote = {Keywords: Session types, process calculi, pi-calculus}
}
| Keywords: | Session types, process calculi, pi-calculus | |
| Seminar: | Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019) | |
| Related Scholarly Article: | https://dx.doi.org/10.4230/LIPIcs.ECOOP.2019.23 | |
| Issue date: | 2019 | |
| Date of publication: | 12.07.2019 |
