A calculus of functional BSP programs

12 years 9 months ago
A calculus of functional BSP programs
An extension of the -calculus called BS is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms. A con uence result is shown. The application of the calculus is illustrated by examples of program proofs and the associated notion of parallel reduction. The reduction process is interpreted in the BSP cost model. c 2000 Elsevier Science B.V. All rights reserved.
Frédéric Loulergue, Gaétan Ha
Added 19 Dec 2010
Updated 19 Dec 2010
Type Journal
Year 2000
Where SCP
Authors Frédéric Loulergue, Gaétan Hains, Christian Foisy
Comments (0)