Cook and download a directory from the Software Heritage Vault
You have requested the cooking of the directory with identifier swh:1:dir:2c01e745c6d89e0eeb9a6ec9590f7ef0750b7002 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:2c01e745c6d89e0eeb9a6ec9590f7ef0750b7002 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:698771f9ca7ce7605fdcabf27b5851f322ea692c 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:698771f9ca7ce7605fdcabf27b5851f322ea692c 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", "codemeta:author": [ { "codemeta:affiliation": [ "MERCE-France", "PI.R2", "IRIF" ], "codemeta:name": "Thibaut Girka" }, { "codemeta:affiliation": "PI.R2", "codemeta:name": "Yann R{\\'e}gis-Gianas" } ], "codemeta:dateCreated": "2018-07-14T22:31:47+02:00", "codemeta:description": "This archive contains the Coq development described in the paper ``VerifiableSemantic Difference Languages''[1].It is composed of meta-theoritical definitions and proofs (coq/OracleLanguage.v,coq/ProgrammingLanguage.v, \u2026) as well as an instantiation of those definitionson a toy imperative language (coq/Imp/).[1]: https://hal.inria.fr/hal-01653283/", "codemeta:identifier": { "#text": "swh:1:rev:cccf789c12617208fe188ad3dbc2746d4c884ab7", "@name": "swh" }, "codemeta:license": { "codemeta:name": "BSD 3-clause \"New\" or \"Revised\" License" }, "codemeta:name": "Correlating Oracles", "codemeta:programmingLanguage": "Coq", "codemeta:url": "https://hal.archives-ouvertes.fr/hal-01831369", "codemeta:version": "2", "committer": "Thibaut Girka", "external_identifier": "hal-01831369", "id": "hal-01831369" }
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 |
---|---|---|
CorrelatingProgram |
Computing file changes ...