A Formal Programming Model of Orléans Skeleton Library [chapter]

Noman Javed, Frédéric Loulergue
2011 Lecture Notes in Computer Science  
Orléans Skeleton Library (OSL) is a library of parallel algorithmic skeletons in C++ on top of MPI. It provides a structured approach towards parallel programming. Skeletons in OSL are based on the bulk synchronous parallelism model. In this paper we present formal semantics of OSL: a programming model and its properties proved with the Coq assistant.
doi:10.1007/978-3-642-23178-0_4 fatcat:7ymh75jbkvhknlbdgoysteiuke