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 Hash IDentifiers (SWHIDs) must be used.
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 ...