There is a newer version of this record available.

Software Open Access

RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code, Artifact

Matsushita, Yusuke; Denis, Xavier; Jourdan, Jacques-Henri; Dreyer, Derek

DCAT Export

<?xml version='1.0' encoding='utf-8'?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:adms="http://www.w3.org/ns/adms#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dct="http://purl.org/dc/terms/" xmlns:dctype="http://purl.org/dc/dcmitype/" xmlns:dcat="http://www.w3.org/ns/dcat#" xmlns:duv="http://www.w3.org/ns/duv#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:frapo="http://purl.org/cerif/frapo/" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:gsp="http://www.opengis.net/ont/geosparql#" xmlns:locn="http://www.w3.org/ns/locn#" xmlns:org="http://www.w3.org/ns/org#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:prov="http://www.w3.org/ns/prov#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:schema="http://schema.org/" xmlns:skos="http://www.w3.org/2004/02/skos/core#" xmlns:vcard="http://www.w3.org/2006/vcard/ns#" xmlns:wdrs="http://www.w3.org/2007/05/powder-s#">
  <rdf:Description rdf:about="https://doi.org/10.5281/zenodo.6426048">
    <rdf:type rdf:resource="http://www.w3.org/ns/dcat#Dataset"/>
    <dct:type rdf:resource="http://purl.org/dc/dcmitype/Software"/>
    <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://doi.org/10.5281/zenodo.6426048</dct:identifier>
    <foaf:page rdf:resource="https://doi.org/10.5281/zenodo.6426048"/>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Matsushita, Yusuke</foaf:name>
        <foaf:givenName>Yusuke</foaf:givenName>
        <foaf:familyName>Matsushita</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>University of Tokyo</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Denis, Xavier</foaf:name>
        <foaf:givenName>Xavier</foaf:givenName>
        <foaf:familyName>Denis</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Université Paris-Saclay, CNRS, INRIA</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Jourdan, Jacques-Henri</foaf:name>
        <foaf:givenName>Jacques-Henri</foaf:givenName>
        <foaf:familyName>Jourdan</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Université Paris-Saclay, CNRS, ENS Paris-Saclay</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Dreyer, Derek</foaf:name>
        <foaf:givenName>Derek</foaf:givenName>
        <foaf:familyName>Dreyer</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>MPI-SWS</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:title>RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code, Artifact</dct:title>
    <dct:publisher>
      <foaf:Agent>
        <foaf:name>Zenodo</foaf:name>
      </foaf:Agent>
    </dct:publisher>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#gYear">2022</dct:issued>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2022-04-08</dct:issued>
    <owl:sameAs rdf:resource="https://zenodo.org/record/6426048"/>
    <adms:identifier>
      <adms:Identifier>
        <skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://zenodo.org/record/6426048</skos:notation>
        <adms:schemeAgency>url</adms:schemeAgency>
      </adms:Identifier>
    </adms:identifier>
    <dct:isVersionOf rdf:resource="https://doi.org/10.5281/zenodo.6323378"/>
    <owl:versionInfo>1</owl:versionInfo>
    <dct:description>&lt;p&gt;Artifact accompanying PLDI 2022 submission&lt;/p&gt;</dct:description>
    <dct:accessRights rdf:resource="http://publications.europa.eu/resource/authority/access-right/PUBLIC"/>
    <dct:accessRights>
      <dct:RightsStatement rdf:about="info:eu-repo/semantics/openAccess">
        <rdfs:label>Open Access</rdfs:label>
      </dct:RightsStatement>
    </dct:accessRights>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.6426048"/>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.6426048"/>
        <dcat:byteSize>4082296832</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/6426048/files/artifact.ova"/>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.6426048"/>
        <dcat:byteSize>28380</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/6426048/files/LICENSE"/>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.6426048"/>
        <dcat:byteSize>15667</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/6426048/files/README.md"/>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.6426048"/>
        <dcat:byteSize>1106201</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/6426048/files/the_artifact.tgz"/>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.6426048"/>
        <dcat:byteSize>1425574</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/6426048/files/the_artifact.zip"/>
        <dcat:mediaType>application/zip</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
  </rdf:Description>
</rdf:RDF>
716
192
views
downloads
All versions This version
Views 716152
Downloads 19254
Data volume 414.0 GB147.0 GB
Unique views 484128
Unique downloads 9016
More info on how stats are collected.
Indexed in
Publication date:
April 8, 2022
DOI:
10.5281/zenodo.6426048

Zenodo DOI Badge

DOI 

10.5281/zenodo.6426048

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.6426048.svg)](https://doi.org/10.5281/zenodo.6426048)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.6426048.svg
   :target: https://doi.org/10.5281/zenodo.6426048

HTML 

<a href="https://doi.org/10.5281/zenodo.6426048"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.6426048.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.6426048.svg

Target URL 

https://doi.org/10.5281/zenodo.6426048

License (for files):
Other (Open)

Versions

Version 10 10.5281/zenodo.6501665 Apr 8, 2022
Version 1 10.5281/zenodo.6426048 Apr 8, 2022
Version 1 10.5281/zenodo.6417462 Mar 2, 2022
Version 1 10.5281/zenodo.6416090 Mar 2, 2022
Version 1 10.5281/zenodo.6415050 Mar 2, 2022
View all 10 versions
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.6323378. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export