The Bulk Synchronous Parallel ML (BSML) is a functional language for BSP programming, a model of computing which allows parallel programs to be ported to a ...
The Bulk Synchronous Parallel ML (BSML) is a functional language for BSP programming, a model of computing which allows parallel programs to be ported to a ...
ABSTRACT. The Bulk Synchronous Parallel ML (BSML) is a functional language for BSP pro- gramming, a model of computing which allows parallel programs to be ...
The BSA~-calculus is a calculus of functional Bulk Synchronous Parallel (BSP) programs with enumerated parallel vectors and explicit substitution.
Formal Proofs of Functional BSP Programs · F. Gava · 2003 · 39 Citations ; Distributed Evaluation of Functional BSP Programs · F. Loulergue · 2001 · 20 Citations.
Keywords: Formal proofs; BSP; Functional language; Coq. ... a certi fi ed library of common functional BSP programs. ... A Calculus of Functional BSP Programs.
Formal Proofs of Functional BSP Programs. Parallel Processing Letters, 13(3):365–376, 2003. [11] F. Gava and F. Loulergue. Semantics of a Functional. BSP ...
A calculus of functional BSP programs - ScienceDirect.com
www.sciencedirect.com › article › pii › pdf
The application of the calculus is illustrated by examples of program proofs and the associated notion of parallel reduction. The reduction process is ...
An extension of the λ-calculus called BSλ is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms.
Systematic Development of Functional Bulk Synchronous Parallel Programs ... This thesis takes part in the formal verification of parallel programs. The ...