The third homomorphism theorem on trees: downward \& upward lead to divide-and-conquer

DOI10.1145/1480881.1480905MaRDI QIDQ5261516zbMATH OpenOpenAlexFDO

Authors Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi

Publication date 3 July 2015

Published in Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1480881.1480905

zbMATH Keywords

divide-and-conquerHuet's zipperspolynomial data structuresthird homomorphism theorem

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Data structures (68P05) Analysis of algorithms and problem complexity (68Q25) Nonnumerical algorithms (68W05)

Recommendations

• A short cut to parallelization theorems
• Balanced trees inhabiting functional parallel programming
• Parallelizing functional programs by generalization
• scientific article; zbMATH DE number 1088022
• Parallel implementation of tree skeletons

Cited in

(12)

• Extracting and implementing list homomorphisms in parallel program development
• Filter-embedding semiring fusion for programming with MapReduce
• Incremental computing with abstract data structures
• scientific article; zbMATH DE number 1088022 (Why is no real title available?)
• Parallelizing functional programs by generalization
• Lambda calculus with algebraic simplification for reduction parallelisation: extended study
• Balanced trees inhabiting functional parallel programming
• Generalising and dualising the third list-homomorphism theorem: functional pearl
• A short cut to parallelization theorems
• Parallel implementation of tree skeletons
• Program optimisations via hylomorphisms for extraction of executable code
• Counterexample-guided partial bounding for recursive function synthesis

This page was built for publication: The third homomorphism theorem on trees: downward \& upward lead to divide-and-conquer

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