Document Open Access Logo

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

Authors Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi



PDF
Thumbnail PDF

Artifact Description

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

Document Identifiers

Author Details

Hiroaki Inoue
Tomoyuki Aotani
Atsushi Igarashi

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

Artifact

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)
    0
    PDF Downloads
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