A DSL for executable 'how to' manuals.

Marcel Heinz Philipp Helsper Ralf Lämmel Tobias M. Schmidt

Published in: SAC (2016)

Keyphrases

formal specification
general purpose
attribute grammars
data structure
real time
data sets
databases
cooperative
data streams
data model
semi supervised
computer systems
process algebra