Title of article
A calculus of functional BSP programs
Author/Authors
Frédéric Loulergue، نويسنده , , Gaétan Hains، نويسنده , , Christian Foisy، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 2000
Pages
25
From page
253
To page
277
Abstract
An extension of the λ-calculus called BSλ is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms. A confluence 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.
Keywords
Confluence , Parallel reduction , Parallel cost model , Extension of the ?-calculus , Bulk synchronous parallelism
Journal title
Science of Computer Programming
Serial Year
2000
Journal title
Science of Computer Programming
Record number
1079578
Link To Document