List Homomorphism with Accumulation

This paper introduces accumulation into list homomorphisms for systematic development of both efficient and correct parallel programs. New parallelizable recursive pattern called H-homomorphism is given, and transformations from sequential patterns in the H-form and H form into (H-)homomorphism are shown. We illustrate the power of our formalization by developing a novel and general parallel program for a class of interesting and challenging problems, known as maximum marking problems.

• Type: Conference
• Year: 2003
• Where: SNPD
• Authors: Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
• Keywords: Correct Parallel Programs, Parallel Program, Parallelizable Recursive Pattern, SNPD 2003, SNPD 2007