A calculus of functional BSP programs

DOI10.1016/S0167-6423(99)00029-5MaRDI QIDQ1566918zbMATH OpenOpenAlexFDO

Authors F. Loulergue, Gaétan Hains, Christian Foisy

Publication date 4 June 2000

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0167-6423(99)00029-5

zbMATH Keywords

\(\lambda\)-calculusparallel reductionBS\(\lambda\)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Axiomatization and characterization of BSP algorithms
• A bulk-synchronous parallel process algebra
• scientific article; zbMATH DE number 2102052
• AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗
• scientific article; zbMATH DE number 2230607

Cited in

(12)

• Enumerated BSP Automata
• A provable time and space efficient implementation of NESL
• Axiomatization and characterization of BSP algorithms
• scientific article; zbMATH DE number 2009834 (Why is no real title available?)
• Trends in trends in functional programming 1999/2000 versus 2007/2008
• scientific article; zbMATH DE number 2102059 (Why is no real title available?)
• AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗
• A bulk-synchronous parallel process algebra
• scientific article; zbMATH DE number 2102052 (Why is no real title available?)
• A programming model for BSP with partitioned synchronisation
• A generic cost model for concurrent and data-parallel meta-computing
• Verified scalable parallel computing with Why3

This page was built for publication: A calculus of functional BSP programs

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