Formal semantics of DRMA-style programming in BSPlib

Authors:
Julien Tesson;Frédéric Loulergue
Affiliations:
LIFO, University of Orléans, France;LIFO, University of Orléans, France
Venue:
PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
Year:
2007

Citing 8
Cited 0

The formal semantics of programming languages: an introduction

The formal semantics of programming languages: an introduction
Verification of sequential and concurrent programs (2nd ed.)

Verification of sequential and concurrent programs (2nd ed.)
BSPlib: The BSP programming library

Parallel Computing
JBSP: a BSP programming library in Java

Journal of Parallel and Distributed Computing
MPI: The Complete Reference

MPI: The Complete Reference
BSP in a lazy functional context

Trends in functional programming
Algebraic Laws for BSP Programming

Euro-Par '96 Proceedings of the Second International Euro-Par Conference on Parallel Processing-Volume II
Bulk synchronous parallel ML: modular implementation and performance prediction

ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

BSPlib is a programming library for C and Fortran which supports bulk synchronous parallelism (BSP). This paper is about a formal semantics for the DRMA programming style of the BSPlib library. The aim is to study the behavior of BSPlib programs and to propose some syntactic characterizations used to provide guarantees on semantic properties. This work is the basis for future tools dedicated to the validation of BSPlib programs.