Minimal Session Types (Artifact)

Authors Alen Arslanagić , Jorge A. Pérez , Erik Voogd



PDF
Thumbnail PDF

Artifact Description

DARTS.5.2.5.pdf
  • Filesize: 399 kB
  • 3 pages

Document Identifiers

Author Details

Alen Arslanagić
  • University of Groningen, The Netherlands
Jorge A. Pérez
  • University of Groningen, The Netherlands
Erik Voogd
  • University of Groningen, The Netherlands

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 AsGet 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

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)
    0
    PDF Downloads

References

  1. 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.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail