2026-08-09T07:06:25Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:10782 2024-03-06T11:05:06Z ddc:004 open_access

Minimal Session Types (Artifact) Arslanagić, Alen Pérez, Jorge A. Voogd, Erik Session types process calculi pi-calculus 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Alen Arslanagić and Jorge A. Pérez and Erik Voogd 2019 Is Part Of DARTS, Volume 5, Issue 2, Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.5.2.5 urn:nbn:de:0030-drops-107825 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.5 eng https://creativecommons.org/licenses/by/3.0/de/legalcode