A programming model and foundation for lineage-based distributed computation

DOI10.1017/S0956796818000035MaRDI QIDQ4577814zbMATH OpenOpenAlexWikidataFDO

Authors Philipp Haller, Heather Miller, Normen Müller

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/s0956796818000035

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computational aspects of data analysis and big data (68T09)

Recommendations

• A linear-history semantics for languages for distributed programming
• scientific article; zbMATH DE number 2205250
• Toward an intensional model for programming large scale distributed systems
• scientific article; zbMATH DE number 1693543
• A declarative approach to distributed computing: specification, execution and analysis
• scientific article; zbMATH DE number 4052998
• Programming distributed computing systems. A foundational approach
• Distributed Linearly Separable Computation
• Distributed concurrent linear logic programming

Cites work

• A calculus of mobile processes. I
• A foundation for actor computation
• Acute: high-level programming language design for distributed computation
• FUNCTIONAL PEARL Pickler combinators
• Scala actors: Unifying thread-based and event-based programming
• Types and programing languages

Cited in

(1)

• Modeling big data processing programs

Describes a project that uses

Uses Software

• MapReduce
• Haskell
• Hadoop
• Dryad
• Spark
• DryadLINQ
• Akka
• Scoobi
• Scalding
• LaCasa
• GitHub

This page was built for publication: A programming model and foundation for lineage-based distributed computation

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