A DSL for compensable and interruptible executions.

Hiroaki Inoue Tomoyuki Aotani Atsushi Igarashi

Published in: REBLS@SPLASH (2017)

Keyphrases

general purpose
cooperative
contract algorithms
artificial intelligence
information technology
integrity constraints
real world
data mining
genetic algorithm
e learning
computational complexity
digital libraries
parallel processors
database transactions