A calculus of functional BSP programs

DOI10.1016/S0167-6423(99)00029-5zbMath0954.68036OpenAlexW1998844879MaRDI QIDQ1566918

Christian Foisy, Gaétan Hains, Frédéric Loulergue

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)

Related Items (4)

A bulk-synchronous parallel process algebra ⋮ Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ A programming model for BSP with partitioned synchronisation ⋮ Enumerated BSP Automata

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