zbMATH — the first resource for mathematics

Semi-explicit parallel programming in a purely functional style: GpH. (English) Zbl 1171.68417
Alexander, Michael (ed.) et al., Process algebra for parallel and distributed processing. Boca Raton, FL: CRC pRESS (ISBN 978-1-4200-6486-5/hbk). Chapman & Hall / CRC Computational Science Series, 47-76 (2009).
Summary: This chapter summarizes research performed over more than a decade, covering language design, semantics, and implementation. In particular this chapter elaborates on the semi-explicit programming model, reflects on the mapping from specification to executable code, presents a structural operational semantics for reasoning about these parallel programs, discusses the main characteristics of the graph-reduction-based implementation, underlines the usability of the system by assessing the performance of existing applications, and concludes by recapitulating the role of our language and methodology as a tool for specification, transformation, and efficient parallel execution.
For the entire collection see [Zbl 1155.68003].
68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N18 Functional programming and lambda calculus