Richter, David ; Böhler, Timon ; Weisenburger, Pascal ; Mezini, Mira (2023)
A Direct-Style Effect Notation for Sequential and Parallel Programs.
37th European Conference on Object-Oriented Programming. Seattle, United States (17.-21.07.2023)
doi: 10.4230/LIPIcs.ECOOP.2023.25
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (Abstract)
Modeling sequential and parallel composition of effectful computations has been investigated in a variety of languages for a long time. In particular, the popular do-notation provides a lightweight effect embedding for any instance of a monad. Idiom bracket notation, on the other hand, provides an embedding for applicatives. First, while monads force effects to be executed sequentially, ignoring potential for parallelism, applicatives do not support sequential effects. Composing sequential with parallel effects remains an open problem. This is even more of an issue as real programs consist of a combination of both sequential and parallel segments. Second, common notations do not support invoking effects in direct-style, instead forcing a rigid structure upon the code. In this paper, we propose a mixed applicative/monadic notation that retains parallelism where possible, but allows sequentiality where necessary. We leverage a direct-style notation where sequentiality or parallelism is derived from the structure of the code. We provide a mechanisation of our effectful language in Coq and prove that our compilation approach retains the parallelism of the source program.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2023 |
| Autor(en): | Richter, David ; Böhler, Timon ; Weisenburger, Pascal ; Mezini, Mira |
| Art des Eintrags: | Bibliographie |
| Titel: | A Direct-Style Effect Notation for Sequential and Parallel Programs |
| Sprache: | Englisch |
| Publikationsjahr: | 22 Juli 2023 |
| Ort: | Wadern |
| Verlag: | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
| Buchtitel: | 37th European Conference on Object-Oriented Programming : ECOOP 2023 |
| Reihe: | Leibniz International Proceedings in Informatics |
| Band einer Reihe: | 263 |
| Veranstaltungstitel: | 37th European Conference on Object-Oriented Programming |
| Veranstaltungsort: | Seattle, United States |
| Veranstaltungsdatum: | 17.-21.07.2023 |
| DOI: | 10.4230/LIPIcs.ECOOP.2023.25 |
| Zugehörige Links: | |
| Kurzbeschreibung (Abstract): | Modeling sequential and parallel composition of effectful computations has been investigated in a variety of languages for a long time. In particular, the popular do-notation provides a lightweight effect embedding for any instance of a monad. Idiom bracket notation, on the other hand, provides an embedding for applicatives. First, while monads force effects to be executed sequentially, ignoring potential for parallelism, applicatives do not support sequential effects. Composing sequential with parallel effects remains an open problem. This is even more of an issue as real programs consist of a combination of both sequential and parallel segments. Second, common notations do not support invoking effects in direct-style, instead forcing a rigid structure upon the code. In this paper, we propose a mixed applicative/monadic notation that retains parallelism where possible, but allows sequentiality where necessary. We leverage a direct-style notation where sequentiality or parallelism is derived from the structure of the code. We provide a mechanisation of our effectful language in Coq and prove that our compilation approach retains the parallelism of the source program. |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Softwaretechnik |
| TU-Projekte: | Bund/BMBF|16KIS0902|iBlockchain |
| Hinterlegungsdatum: | 20 Mär 2024 13:22 |
| Letzte Änderung: | 25 Jun 2024 13:28 |
| PPN: | 519374355 |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum