{
    "@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-05T18:49:30+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: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": "1",
    "committer": "Thibaut Girka",
    "external_identifier": "hal-01831369",
    "id": "hal-01831369"
}