Filter-embedding semiring fusion for programming with MapReduce

DOI10.1007/s00165-012-0241-8zbMath1259.68027OpenAlexW2015292609MaRDI QIDQ1941877

Kento Emoto, Sebastian Fischer, Zhenjiang Hu

Publication date: 22 March 2013

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-012-0241-8

zbMATH Keywords

program transformationfunctional programmingMapReducelist homomorphismsprogram calculationsemiring computation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items

Lambda calculus with algebraic simplification for reduction parallelisation: Extended study

Uses Software

• MapReduce
• Haskell
• MONA
• Hadoop

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Transitive closure and related semiring properties via eliminants
• Longest segment problems
• Semiring induced valuation algebras: exact and approximate local computation algorithms
• Google's MapReduce programming model - Revisited
• Unicast and multicast QoS routing with soft-constraint logic programming
• Semiring-Induced Propositional Logic: Definition and Basic Algorithms
• Max-linear Systems: Theory and Algorithms
• A Unified Approach to Path Problems
• Semiring-based constraint satisfaction and optimization
• Novel extended Viterbi-based multiple-model algorithms for state estimation of discrete-time systems with Markov jump parameters
• Charting patterns on price history
• The third homomorphism theorem on trees