Document Open Access Logo

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact)

Authors Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.4.3.4.pdf
  • Filesize: 289 kB
  • 2 pages

Document Identifiers

Subject Classification

Keywords
  • workflow
  • asynchronous exception
  • checkpoint
  • monad
  • embedded domain specific language

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

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.

Cite As Get 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

Author Details

Hiroaki Inoue
Tomoyuki Aotani
Atsushi Igarashi

Artifact

  MD5 Sum: 5cbb66a47d17e765b82d738e5532c951 (Get MD5 Sum)

Related Article

  • Hiroaki Inoue, Tomoyuki Aotani, and Atsushi Igarashi, "ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions", in 32nd European Conference on Object-Oriented Programming (ECOOP 2018), LIPIcs, Vol. 109, pp. 2:1-2:33, 2018. https://doi.org/10.4230/LIPIcs.ECOOP.2018.2
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact