There is a newer version of this record available.

Software Open Access

Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks

Anonymous


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.4777383">
    <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.4777383</dct:identifier>
    <foaf:page rdf:resource="https://doi.org/10.5281/zenodo.4777383"/>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Anonymous</foaf:name>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Anonymous</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:title>Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks</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">2021</dct:issued>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2021-05-21</dct:issued>
    <dct:language rdf:resource="http://publications.europa.eu/resource/authority/language/ENG"/>
    <owl:sameAs rdf:resource="https://zenodo.org/record/4777383"/>
    <adms:identifier>
      <adms:Identifier>
        <skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://zenodo.org/record/4777383</skos:notation>
        <adms:schemeAgency>url</adms:schemeAgency>
      </adms:Identifier>
    </adms:identifier>
    <dct:isVersionOf rdf:resource="https://doi.org/10.5281/zenodo.4777382"/>
    <owl:versionInfo>0.1</owl:versionInfo>
    <dct:description>&lt;p&gt;Artifact accompanying the the paper &lt;em&gt;Certifying the Synthesis of Heap-Manipulating Programs&lt;/em&gt;, conditionally accepted to ICFP&amp;#39;21.&lt;/p&gt; &lt;p&gt;&lt;strong&gt;Virtual machine:&amp;nbsp;&lt;/strong&gt;The &lt;em&gt;vm-image.zip&lt;/em&gt; file contains a virtual machine image containing the full artifact and benchmarks, as well as the necessary scripts to start it. It should work with QEMU. To start with it, follow the instructions in&amp;nbsp;&lt;em&gt;README.md&lt;/em&gt; file attached to this artifact.&lt;/p&gt; &lt;p&gt;&lt;strong&gt;Source code:&lt;/strong&gt;&amp;nbsp;Download the&lt;em&gt; source.tar.gz&lt;/em&gt;&lt;em&gt; &lt;/em&gt;archive, unpack it, and follow the&amp;nbsp;&lt;em&gt;Step by Step Instructions&lt;/em&gt;&amp;nbsp;in the&amp;nbsp;&lt;em&gt;README.md&lt;/em&gt; file in the root of the project.&amp;nbsp;&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>
        <dct:license rdf:resource="https://creativecommons.org/licenses/by/4.0/legalcode"/>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.4777383"/>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.4777383"/>
        <dcat:byteSize>2704514382</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/4777383/files/certisuslik.zip"/>
        <dcat:mediaType>application/zip</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.4777383"/>
        <dcat:byteSize>20525</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/4777383/files/README.md"/>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.4777383"/>
        <dcat:byteSize>1023883</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/4777383/files/source.tar.gz"/>
        <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.4777383"/>
        <dcat:byteSize>2705678671</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/4777383/files/vm-image.zip"/>
        <dcat:mediaType>application/zip</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
  </rdf:Description>
</rdf:RDF>
318
37
views
downloads
All versions This version
Views 31831
Downloads 377
Data volume 29.8 GB5.4 GB
Unique views 20521
Unique downloads 204

Share

Cite as