Skip to Main content Skip to Navigation

OcamlP3l release 2.03

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 metadatas


Present sur SoftwareHeritage - Identifier : swh:1:dir:85642a2e0333bbd6340c0a84ae6bad48cba11940  Browse
Contributor : Roberto Di Cosmo <>
Submitted on : Friday, February 21, 2020 - 5:03:09 PM
Last modification on : Friday, March 27, 2020 - 3:07:16 AM



Roberto Di Cosmo, Pierre Weis, Francois Clement, Zheng Li. OcamlP3l release 2.03. 2007, ⟨swh:1:dir:85642a2e0333bbd6340c0a84ae6bad48cba11940⟩. ⟨hal-02487579⟩



Record views


Files downloads