The Third Homomorphism Theorem (1995)

by Jeremy Gibbons , Jeremy Gibbons
Citations:24 - 3 self

Active Bibliography

5 Construction of List Homomorphisms by Tupling and Fusion – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
2 A Calculational Framework for Parallelization of Sequential Programs – Zhenjiang Hu, Masato Takeichi - 1997
2 Abstraction and Performance in the Design of Parallel Programs – Sergei Gorlatch, Der Fakultat, Mathematik Informatik, Zusammenfassung Der Veroffentlichungen - 1997
2 Parallelizing Functional Programs by Term Rewriting – Alfons Geser, Sergei Gorlatch - 1997
12 Extracting and Implementing List Homomorphisms in Parallel Program Development – Sergei Gorlatch - 1997
8 Parallelizing Functional Programs by Generalization – Alfons Geser, Sergei Gorlatch - 1997
2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
19 Generic Downwards Accumulations – Jeremy Gibbons - 2000
9 Diffusion: Calculating Efficient Parallel Programs – Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki - 1999
1 List Homomorphism with Accumulation – Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi - 2003
11 A library of constructive skeletons for sequential style of parallel programming – Kiminori Matsuzaki, Hideya Iwasaki - 2006
9 List Homomorphic Parallel Algorithms for Bracket Matching – Murray Cole - 1993
9 Computing Downwards Accumulations on Trees Quickly – Jeremy Gibbons, Jeremy Gibbons - 1995
31 Parallelization in Calculational Forms – Zhenjiang Hu, Masato Takeichi, Wei-ngan Chin - 1998
Mathematical Engineering – Parallelization With Tree, Kiminori Matsuzaki, Kiminori Matsuzaki, Zhenjiang Hu, Zhenjiang Hu, Masato Takeichi, Masato Takeichi - 2003
6 Derivation of Efficient Data Parallel Programs – Paul Roe - 1993
18 Efficient Parallel Algorithms for Tree Accumulations – Jeremy Gibbons, Wentong Cai, David B. Skillicorn - 1994
1 Efficient Implementation of Tree Skeletons on Distributed-Memory Parallel Computers – Kiminori Matsuzaki, Zhenjiang Hu, Kiminori Matsuzaki, Zhenjiang Hu - 2006
26 Systematic Efficient Parallelization of Scan and Other List Homomorphisms – Sergei Gorlatch - 1996