ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions.

Hiroaki Inoue Tomoyuki Aotani Atsushi Igarashi

Published in: ECOOP (2018)

Keyphrases

deductive databases
datalog queries
datalog programs
integrity constraints
database transactions
contract algorithms
search engine
transitive closure
data sets
information systems
search algorithm
data streams
special case
general purpose