Software Open Access

Just-in-Time Learning for Inductive Program Synthesis Artifact

Shraddha Barke; Hila Peleg; Nadia Polikarpova

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.4039224">
    <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.4039224</dct:identifier>
    <foaf:page rdf:resource="https://doi.org/10.5281/zenodo.4039224"/>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Shraddha Barke</foaf:name>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>UC San Diego</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>Hila Peleg</foaf:name>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>UC San Diego</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>Nadia Polikarpova</foaf:name>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>UC San Diego</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:title>Just-in-Time Learning for Inductive Program Synthesis 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">2020</dct:issued>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2020-09-20</dct:issued>
    <owl:sameAs rdf:resource="https://zenodo.org/record/4039224"/>
    <adms:identifier>
      <adms:Identifier>
        <skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://zenodo.org/record/4039224</skos:notation>
        <adms:schemeAgency>url</adms:schemeAgency>
      </adms:Identifier>
    </adms:identifier>
    <dct:isVersionOf rdf:resource="https://doi.org/10.5281/zenodo.4039223"/>
    <dct:description>&lt;p&gt;This&amp;nbsp;code&amp;nbsp;is&amp;nbsp;the&amp;nbsp;implementation&amp;nbsp;for&amp;nbsp;the&amp;nbsp;first&amp;nbsp;version&amp;nbsp;of&amp;nbsp;the&amp;nbsp;paper titled &amp;quot;Just-in-Time Learning&amp;nbsp;for&amp;nbsp;Inductive Program&amp;nbsp;Synthesis&amp;quot;&amp;nbsp;submitted to OOPSLA 2020 AEC. The paper&amp;#39;s title has since then been changed to &amp;quot;Just-in-Time Learning for Bottom-up Enumerative Synthesis&amp;quot;.&amp;nbsp;The archive contains the main software artifact, a guide on how to evaluate the software artifact and the first version of the paper.&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.4039224"/>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.4039224"/>
        <dcat:byteSize>392395</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/4039224/files/artifact-paper583.pdf"/>
        <dcat:mediaType>application/pdf</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.4039224"/>
        <dcat:byteSize>4097</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/4039224/files/CRAPL-LICENSE.txt"/>
        <dcat:mediaType>text/plain</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.4039224"/>
        <dcat:byteSize>1272831</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/4039224/files/oopsla20-paper583.pdf"/>
        <dcat:mediaType>application/pdf</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.4039224"/>
        <dcat:byteSize>36001670</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/4039224/files/probe.zip"/>
        <dcat:mediaType>application/zip</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
  </rdf:Description>
</rdf:RDF>
93
88
views
downloads
All versions This version
Views 9393
Downloads 8888
Data volume 572.9 MB572.9 MB
Unique views 7979
Unique downloads 6060
More info on how stats are collected.
Indexed in
Publication date:
September 20, 2020
DOI:
10.5281/zenodo.4039224

Zenodo DOI Badge

DOI 

10.5281/zenodo.4039224

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.4039224 Sep 20, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4039223. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export