Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

SCP
2000

favoriteEmaildiscussreport

135views more SCP 2000»

A calculus of functional BSP programs

13 years 4 months ago

A calculus of functional BSP programs

Download lacl.univ-paris12.fr

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

Real-time Traffic

Bulk Synchronous Parallel | Formal Basis | Functional Languages | SCP 2000 |

claim paper

Related Content

» A calculus of functional BSP programs with projection

» Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML

» Building BSP Programs Using the Refinement Calculus

» Towards a BioAPI compliant face verification system

» Functional Nets

» Design of Departmental Metacomputing ML

» A bulksynchronous parallel process algebra

» Introduction to Functional Programming

» The implicit calculus a new foundation for generic programming

Post Info
More Details (n/a)

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)