Login / Signup

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

Hiroaki InoueTomoyuki AotaniAtsushi Igarashi
Published in: Dagstuhl Artifacts Ser. (2018)
Keyphrases
  • deductive databases
  • datalog queries
  • datalog programs
  • database transactions
  • contract algorithms
  • high level
  • data model
  • general purpose
  • distributed systems
  • domain specific languages