DARTS.7.2.15.pdf
- Filesize: 423 kB
- 3 pages
Document
Linear Promises: Towards Safer Concurrent Programming (Artifact)
Authors
-
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
Cite As Get BibTex
Ohad Rau, Caleb Voss, and Vivek Sarkar. Linear Promises: Towards Safer Concurrent Programming (Artifact). In Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021). Dagstuhl Artifacts Series (DARTS), Volume 7, Issue 2, pp. 15:1-15:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
https://doi.org/10.4230/DARTS.7.2.15
Artifact
DARTS-7-2-15-artifact-f6ecd59c832dbe016d2bf78256bc96d9.tar.gz
(Filesize: 0.72 GB)
MD5 Sum:
f6ecd59c832dbe016d2bf78256bc96d9
(Get MD5 Sum)
Abstract
We present a compiler for a concurrent programming language, which utilizes linear typing to create a safer promise abstraction. The compiler is implemented in OCaml and produces source-level Java code. We provide example programs to demonstrate use of the language, as well as translations of incorrect JavaScript code from StackOverflow to showcase the ability of our language to catch many classes of bugs. Finally, we provide a minimal runtime environment to allow the execution of compiled programs.
Subject Classification
ACM Subject Classification
- Software and its engineering → Concurrent programming languages
- Theory of computation → Operational semantics
- Theory of computation → Type theory
Keywords
- promises
- type systems
- linear typing
- operational semantics
- concurrency
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads