Skip to Main content Skip to Navigation

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

Browse

Present sur SoftwareHeritage
swh:1:dir:85642a2e0333bbd6340c0a84ae6bad48cba11940;origin=https://hal.archives-ouvertes.fr/hal-02487579;visit=swh:1:snp:18b778c20ee37588bfa16bb8d00d8046bcbb462c;anchor=swh:1:rev:b34a952aad1b143e60e302df55a4f986ab904c42;path=/

https://hal.archives-ouvertes.fr/hal-02487579
Contributor : Roberto Di Cosmo <>
Submitted on : Friday, February 21, 2020 - 5:03:09 PM
Last modification on : Monday, November 16, 2020 - 1:06:03 PM

Collections

Share

Metrics

Record views

43

Files downloads

7