Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms

DOI10.1145/2951913.2951920MaRDI QIDQ2981997zbMATH OpenOpenAlexFDO

Authors D. Castro, Kevin Hammond, Susmit Sarkar

Publication date 10 May 2017

Published in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10023/9810

zbMATH Keywords

parallelismterm rewriting systemstype systemshylomorphisms

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• A parallel SML compiler based on algorithmic skeletons
• Euro-Par 2004 Parallel Processing
• NESTED ALGORITHMIC SKELETONS FROM HIGHER ORDER FUNCTIONS
• Parallel implementation of tree skeletons
• scientific article; zbMATH DE number 2065557

Cited in

(3)

• Euro-Par 2004 Parallel Processing
• Lambda calculus with algebraic simplification for reduction parallelisation: extended study
• scientific article; zbMATH DE number 2086493 (Why is no real title available?)

This page was built for publication: Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms

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