Computation semantics of the functional scientific workflow language Cuneiform

DOI10.1017/S0956796817000119zbMath1476.68038OpenAlexW2766666504MaRDI QIDQ4577807

Jørgen Brandt, Ulf Leser, Wolfgang Reisig

Publication date: 3 August 2018

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796817000119

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (1)

Cuneiform

Uses Software

• MapReduce
• Haskell
• Erlang
• QuickCheck
• Hadoop
• Taverna
• Eden
• Spark
• Hive
• PRMLT

Cites Work

• Nonlinear methods of spectral analysis. 2nd corrected and updated edition
• Notions of computation and monads
• A formal semantics for the Taverna 2 workflow model
• Practical Foundations for Programming Languages
• The denotational semantics of programming languages
• Programming-in-the-Large Versus Programming-in-the-Small
• Parallel functional programming in Eden
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computation semantics of the functional scientific workflow language Cuneiform