Skip to Main content Skip to Navigation
New interface

OcamlP3l release 2.03

Abstract : OCamlP3l is a parallel programming system based on skeleton programming. Skeletons encapsulate the basic parallel programming patterns in a well understood and structured approach. The skeleton programming approach used in OCamlP3l allows three different operational interpretations of the same source program: - the sequential interpretation which is deterministic, hence easy to understand and debug, - the parallel interpretation using a network of computing nodes run in parallel to speed up the computation, - the graphical interpretation, which is run to obtain a drawing of the parallel computing network deployed at run-time by the parallel interpretation. These three operational semantics are obtained by recompilation of the source program using three different compile-time options of the compiler. The corner stone of this fruitful approach is the adequacy property between the sequential and parallel operational interpretations: they always lead to the same result.
Complete list of metadata


Present sur SoftwareHeritage
Contributor : Roberto Di Cosmo Connect in order to contact the contributor
Submitted on : Friday, February 21, 2020 - 5:03:09 PM
Last modification on : Thursday, February 3, 2022 - 11:15:42 AM




Record views


Files downloads