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

DOI10.1145/2951913.2951920zbMATH Open1361.68061OpenAlexW2507299602MaRDI QIDQ2981997FDOQ2981997

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

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

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)

Cited In (3)

• Title not available (Why is that?)
• Euro-Par 2004 Parallel Processing
• Lambda calculus with algebraic simplification for reduction parallelisation: extended study

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)