2026-07-23T15:49:03Z https://drops.dagstuhl.de/oai

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

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact) Inoue, Hiroaki Aotani, Tomoyuki Igarashi, Atsushi workflow asynchronous exception checkpoint monad embedded domain specific language This artifact provides the Scala, Haskell, and Purescript implementations of ContextWorkflow, an embedded domain-specific language for interruptible and compensable executions, and demonstrates the maze search example described in the companion paper. The Haskell and Purescript implementations provide the core language constructs including \texttt{checkpoint} for partial aborts and \texttt{sub} for sub-workflows and show that ContextWorkflow can be embedded in eager and lazy languages as described in the companion paper. The Scala implementation does not only provide user-friendly syntax of ContextWorkflow but also gives the maze search example as an interactive GUI application. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Hiroaki Inoue and Tomoyuki Aotani and Atsushi Igarashi 2018 Is Part Of DARTS, Volume 4, Issue 3, Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.4.3.4 urn:nbn:de:0030-drops-92356 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.4 eng https://creativecommons.org/licenses/by/3.0/de/legalcode