A bridging model for parallel computation
Communications of the ACM
Type inference with constrained types
Theory and Practice of Object Systems - Special issue on foundations of object-oriented languages
A calculus of functional BSP programs
Science of Computer Programming - Special issue on mathematics of program construction
A calculus of functional BSP programs with projection
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Type system for a safe execution of parallel programs in BSML
Proceedings of the fifth international workshop on High-level parallel programming and applications
Bulk synchronous parallel ML: semantics and implementation of the parallel juxtaposition
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
Bulk synchronous parallel ML: modular implementation and performance prediction
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part II
Hi-index | 0.01 |
The BSMLlib library is a library for Bulk Synchronous Parallel (BSP) programming with the functional language Objective Caml. It is based on an extension of the @l-calculus by parallel operations on a data structure named parallel vector, which is given by intention. In order to have an execution that follows the BSP model, and to have a simple cost model, nesting of parallel vectors is not allowed. The novelty of this paper is a type system which prevents such nesting. This system is correct w.r.t. the dynamic semantics.