2026-07-24T11:53:54Z https://drops.dagstuhl.de/oai

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

Linear Promises: Towards Safer Concurrent Programming (Artifact) Rau, Ohad Voss, Caleb Sarkar, Vivek promises type systems linear typing operational semantics concurrency 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Ohad Rau and Caleb Voss and Vivek Sarkar 2021 Is Part Of DARTS, Volume 7, Issue 2, Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.7.2.15 urn:nbn:de:0030-drops-140394 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.2.15 eng https://creativecommons.org/licenses/by/4.0/legalcode