A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf
.
A Formal Programming Model of Orléans Skeleton Library
[chapter]
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