Loidl, Hans-Wolfgang; Trinder, Phil; Hammond, Kevin; Al Zain, Abdallah; Baker-Finch, Clem 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]. MSC: 68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) 68N18 Functional programming and lambda calculus Keywords:semi-explicit programming model Software:GUM PDF BibTeX XML Cite \textit{H.-W. Loidl} et al., in: Process algebra for parallel and distributed processing. Boca Raton, FL: CRC pRESS. 47--76 (2009; Zbl 1171.68417)