Cook and download a directory from the Software Heritage Vault
You have requested the cooking of the directory with identifier swh:1:dir:85642a2e0333bbd6340c0a84ae6bad48cba11940 into a standard tar.gz archive
.
Are you sure you want to continue ?
Download a directory from the Software Heritage Vault
You have requested the download of the directory with identifier swh:1:dir:85642a2e0333bbd6340c0a84ae6bad48cba11940 as a standard tar.gz archive
.
Are you sure you want to continue ?
Cook and download a revision from the Software Heritage Vault
You have requested the cooking of the history heading to revision with identifier swh:1:rev:b34a952aad1b143e60e302df55a4f986ab904c42 into a bare git archive
.
Are you sure you want to continue ?
Download a revision from the Software Heritage Vault
You have requested the download of the history heading to revision with identifier swh:1:rev:b34a952aad1b143e60e302df55a4f986ab904c42 as a bare git archive
.
Are you sure you want to continue ?
Invalid Email !
The provided email is not well-formed.
Download link has expired
The requested archive is no longer available for download from the Software Heritage Vault.
Do you want to cook it again ?
{ "@xmlns": "http://www.w3.org/2005/Atom", "@xmlns:codemeta": "https://doi.org/10.5063/SCHEMA/CODEMETA-2.0", "author": { "email": "hal@ccsd.cnrs.fr", "name": "HAL" }, "client": "hal", "codemeta:applicationCategory": [ "info.info-pl", "info.info-dc" ], "codemeta:author": [ { "codemeta:affiliation": "UPD7", "codemeta:name": "Roberto Di Cosmo" }, { "codemeta:affiliation": "CRISTAL", "codemeta:name": "Pierre Weis" }, { "codemeta:name": "Francois Clement" }, { "codemeta:affiliation": "PPS", "codemeta:name": "Zheng Li" } ], "codemeta:contributor": "Roberto Di Cosmo", "codemeta:dateCreated": "2007-01-23", "codemeta:datePublished": "2020-02-21T17:03:09+01:00", "codemeta:description": "OCamlP3l is a parallel programming system based on skeleton programming. Skeletons encapsulate the basic parallelprogramming 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.", "codemeta:developmentStatus": "stable", "codemeta:keywords": "functional programming,parallel programming,skeletons,OCaml", "codemeta:license": { "codemeta:name": "GNU Library General Public License v2 only" }, "codemeta:name": "OcamlP3l release 2.03", "codemeta:programmingLanguage": "OCaml", "codemeta:relatedLink": "http://ocamlp3l.inria.fr/", "codemeta:releaseNotes": "* The ocamlp3lc, ocamlp3lopt compilers and ocamlp3ltop interactive system commands have been rewritten in Caml. As a consequence, they behave much more alike their pure Objective Caml counterparts. Therefore, the command ocamlp3lcc has been removed.* In directory Tools, hardly readable perl scripts has been removed.", "codemeta:softwareVersion": "2.03", "codemeta:url": "https://hal.archives-ouvertes.fr/hal-02487579", "codemeta:version": "1", "external_identifier": "hal-02487579", "extrinsic": { "provider": "https://deposit.softwareheritage.org/1/private/433/meta/", "raw": { "branch_name": "master", "origin": { "type": "deposit", "url": "https://hal.archives-ouvertes.fr/hal-02487579" }, "origin_metadata": { "metadata": { "@xmlns": "http://www.w3.org/2005/Atom", "@xmlns:codemeta": "https://doi.org/10.5063/SCHEMA/CODEMETA-2.0", "author": { "email": "hal@ccsd.cnrs.fr", "name": "HAL" }, "client": "hal", "codemeta:applicationCategory": [ "info.info-pl", "info.info-dc" ], "codemeta:author": [ { "codemeta:affiliation": "UPD7", "codemeta:name": "Roberto Di Cosmo" }, { "codemeta:affiliation": "CRISTAL", "codemeta:name": "Pierre Weis" }, { "codemeta:name": "Francois Clement" }, { "codemeta:affiliation": "PPS", "codemeta:name": "Zheng Li" } ], "codemeta:contributor": "Roberto Di Cosmo", "codemeta:dateCreated": "2007-01-23", "codemeta:datePublished": "2020-02-21T17:03:09+01:00", "codemeta:description": "OCamlP3l is a parallel programming system based on skeleton programming. Skeletons encapsulate the basic parallelprogramming 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.", "codemeta:developmentStatus": "stable", "codemeta:keywords": "functional programming,parallel programming,skeletons,OCaml", "codemeta:license": { "codemeta:name": "GNU Library General Public License v2 only" }, "codemeta:name": "OcamlP3l release 2.03", "codemeta:programmingLanguage": "OCaml", "codemeta:relatedLink": "http://ocamlp3l.inria.fr/", "codemeta:releaseNotes": "* The ocamlp3lc, ocamlp3lopt compilers and ocamlp3ltop interactive system commands have been rewritten in Caml. As a consequence, they behave much more alike their pure Objective Caml counterparts. Therefore, the command ocamlp3lcc has been removed.* In directory Tools, hardly readable perl scripts has been removed.", "codemeta:softwareVersion": "2.03", "codemeta:url": "https://hal.archives-ouvertes.fr/hal-02487579", "codemeta:version": "1", "external_identifier": "hal-02487579", "id": "hal-02487579" }, "provider": { "metadata": {}, "provider_name": "hal", "provider_type": "deposit_client", "provider_url": "https://hal.archives-ouvertes.fr/" }, "tool": { "configuration": { "sword_version": 2 }, "name": "swh-deposit", "version": "0.0.1" } } }, "when": "2020-02-25T14:57:00.513080+00:00" }, "id": "hal-02487579", "original_artifact": [ { "checksums": { "sha1": "0eab2a6681a4a9fa575ec010bcaaa5a503ae2008", "sha256": "4bc2793704d135ed5acffcda382f9b1f838e94ff66202e589015374ec451d19b" }, "filename": "archive.zip", "length": 1702827 } ] }
To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Heritage persistent IDentifiers (SWHIDs) must be used instead of copying and pasting the url from the address bar of the browser (as there is no guarantee the current URI scheme will remain the same over time).
Select below a type of object currently browsed in order to display its associated SWHID and permalink.
File | Mode | Size |
---|---|---|
ocamlp3l-2.03 |

Computing file changes ...