Computation semantics of the functional scientific workflow language Cuneiform.

Jörgen Brandt Wolfgang Reisig Ulf Leser

Published in: J. Funct. Program. (2017)

Keyphrases

scientific workflows
logical language
specification language
operational semantics
highly expressive
formal semantics
programming language
data provenance
natural language
logic programming
scientific data
provenance information
semantic information
conceptual model
description language