Computation semantics of the functional scientific workflow language Cuneiform

DOI10.1017/S0956796817000119MaRDI QIDQ4577807zbMATH OpenOpenAlexFDO

Authors Jørgen Brandt, Wolfgang Reisig, Ulf Leser

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)

Recommendations

• A declarative pipeline language for complex data analysis
• A formal semantics for the Taverna 2 workflow model
• Semantics for data parallel computation
• Towards a formal semantics for the process model of the Taverna workbench. I
• A Language for Task Orchestration and Its Semantic Properties

Cites work

• A formal semantics for the Taverna 2 workflow model
• scientific article; zbMATH DE number 1691456 (Why is no real title available?)
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 4035108 (Why is no real title available?)
• scientific article; zbMATH DE number 49477 (Why is no real title available?)
• Nonlinear methods of spectral analysis. 2nd corrected and updated edition
• Notions of computation and monads
• Parallel functional programming in Eden
• Pattern recognition and machine learning.
• Practical foundations for programming languages
• Programming-in-the-Large Versus Programming-in-the-Small
• The denotational semantics of programming languages
• Towards a formal semantics for the process model of the Taverna workbench. I
• Types and programing languages

Cited in

(2)

• A declarative pipeline language for complex data analysis
• Cuneiform

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4577807)