April 8, 2022 Software Open Access

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

MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="http://www.loc.gov/MARC21/slim">
  <leader>00000nmm##2200000uu#4500</leader>
  <controlfield tag="005">20220428131142.0</controlfield>
  <controlfield tag="001">6426048</controlfield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Université Paris-Saclay, CNRS, INRIA</subfield>
    <subfield code="a">Denis, Xavier</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Université Paris-Saclay, CNRS, ENS Paris-Saclay</subfield>
    <subfield code="a">Jourdan, Jacques-Henri</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">MPI-SWS</subfield>
    <subfield code="a">Dreyer, Derek</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">4082296832</subfield>
    <subfield code="z">md5:3b72caa3dd4f21a5044e8726dd973c66</subfield>
    <subfield code="u">https://zenodo.org/record/6426048/files/artifact.ova</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">28380</subfield>
    <subfield code="z">md5:f4862c6d1f730bd22cf8318e81be7c81</subfield>
    <subfield code="u">https://zenodo.org/record/6426048/files/LICENSE</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">15667</subfield>
    <subfield code="z">md5:acfa45fbc0df5699e29a783457cb72cd</subfield>
    <subfield code="u">https://zenodo.org/record/6426048/files/README.md</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1106201</subfield>
    <subfield code="z">md5:9e42ca3180fcc53cfe1cefbdbae7f497</subfield>
    <subfield code="u">https://zenodo.org/record/6426048/files/the_artifact.tgz</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1425574</subfield>
    <subfield code="z">md5:cad29ed9a9983c970a2750f6c60e21aa</subfield>
    <subfield code="u">https://zenodo.org/record/6426048/files/the_artifact.zip</subfield>
  </datafield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2022-04-08</subfield>
  </datafield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">software</subfield>
    <subfield code="o">oai:zenodo.org:6426048</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">University of Tokyo</subfield>
    <subfield code="a">Matsushita, Yusuke</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code, Artifact</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="a">Other (Open)</subfield>
  </datafield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2">opendefinition.org</subfield>
  </datafield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">&lt;p&gt;Artifact accompanying PLDI 2022 submission&lt;/p&gt;</subfield>
  </datafield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">doi</subfield>
    <subfield code="i">isVersionOf</subfield>
    <subfield code="a">10.5281/zenodo.6323378</subfield>
  </datafield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.5281/zenodo.6426048</subfield>
    <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">software</subfield>
  </datafield>
</record>