Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Inoue, Hiroaki; Aotani, Tomoyuki; Igarashi, Atsushi License
when quoting this document, please refer to the following
DOI:
URL:

; ;

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

pdf-format:
artifact-format:


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.

BibTeX - Entry

@Article{inoue_et_al:DARTS:2018:9235,
  author =	{Hiroaki Inoue and Tomoyuki Aotani and Atsushi Igarashi},
  title =	{{ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact)}},
  pages =	{4:1--4:2},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2018},
  volume =	{4},
  number =	{3},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/9235},
  doi =		{10.4230/DARTS.4.3.4},
  annote =	{Keywords: workflow, asynchronous exception, checkpoint, monad, embedded domain specific language}
}

Keywords: workflow, asynchronous exception, checkpoint, monad, embedded domain specific language
Seminar: DARTS, Volume 4, Issue 3
Related Scholarly Article: https://dx.doi.org/10.4230/LIPIcs.ECOOP.2018.2
Issue date: 2018
Date of publication: 2018


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI