Revision b34a952aad1b143e60e302df55a4f986ab904c42 authored by Software Heritage on 23 January 2007, 00:00:00 UTC, committed by Software Heritage on 21 February 2020, 16:03:09 UTC
0 parent
History
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 ?
Revision 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",
"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
}
]
} Permalinks
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 |
The diff you're trying to view is too large. Only the first 1000 changed files have been loaded.
Computing file changes ...
