Cook and download a directory from the Software Heritage Vault
You have requested the cooking of the directory with identifier None 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 None 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.
This library is distributed under the terms of the GNU Library General
Public License version 2, with a single exception, as detailed
in the LICENSE file.
As a special exception to the GNU Library General Public License, you
may link, statically or dynamically, a "work that uses the Library"
with a publicly distributed version of the Library to produce an
executable file containing portions of the Library, and distribute
that executable file under terms of your choice, without any of the
additional requirements listed in clause 6 of the GNU Library General
Public License. By "a publicly distributed version of the Library",
we mean either the unmodified Library as distributed by INRIA, or a
modified version of the Library that is distributed under the
conditions defined in clause 3 of the GNU Library General Public
License. This exception does not however invalidate any other reasons
why the executable file might be covered by the GNU Library General
Public License.
Computing file changes ...