2026-08-02T22:43:27Z https://drops.dagstuhl.de/oai

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

Godot: All the Benefits of Implicit and Explicit Futures (Artifact) Fernandez-Reyes, Kiko Clarke, Dave Henrio, Ludovic Johnsen, Einar Broch Wrigstad, Tobias Futures Concurrency Type Systems Formal Semantics This artifact contains an implementation of data-flow futures in terms of control-flow futures, in the Scala language. In the implementation, we show microbenchmarks that solve the three identified problems from the paper: 1) The Type Proliferation Problem, 2) The Fulfilment Observation Problem, and 3) The Future Proliferation Problem There are also detailed instructions on design decisions that differ from the formal semantics and restrictions on the limits of how much can be encoded in the Scala language. We provide examples, e.g., creation of a proxy service using data-flow futures, as well as tests that exercise different parts of the type system. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Kiko Fernandez-Reyes and Dave Clarke and Ludovic Henrio and Einar Broch Johnsen and Tobias Wrigstad 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.1 urn:nbn:de:0030-drops-107786 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.1 eng https://creativecommons.org/licenses/by/3.0/de/legalcode