DARTS.4.3.4.pdf
- Filesize: 289 kB
- 2 pages
Document
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact)
Authors
-
Part of:
Issue:
Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018)
Volume: DARTS, Volume 4 (ECOOP 2018)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 3.0 Germany license
- Publication Date: 2018-07-05
Cite AsGet BibTex
Hiroaki Inoue, Tomoyuki Aotani, and Atsushi Igarashi. ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact). In Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018). Dagstuhl Artifacts Series (DARTS), Volume 4, Issue 3, pp. 4:1-4:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/DARTS.4.3.4
https://doi.org/10.4230/DARTS.4.3.4
Artifact
DARTS-4-3-4-artifact-5cbb66a47d17e765b82d738e5532c951.zip
(Filesize: 3.56 GB)
Abstract
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.
Keywords
- workflow
- asynchronous exception
- checkpoint
- monad
- embedded domain specific language
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads