Other Open Access

The Future is Ours: Prophecy Variables in Separation Logic -- Artifact

Jung, Ralf; Lepigre, Rodolphe; Parthasarathy, Gaurav; Rapoport, Marianna; Timany, Amin; Dreyer, Derek; Jacobs, Bart


DataCite XML Export

<?xml version='1.0' encoding='utf-8'?>
<resource xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://datacite.org/schema/kernel-4" xsi:schemaLocation="http://datacite.org/schema/kernel-4 http://schema.datacite.org/meta/kernel-4.1/metadata.xsd">
  <identifier identifierType="DOI">10.5281/zenodo.3570660</identifier>
  <creators>
    <creator>
      <creatorName>Jung, Ralf</creatorName>
      <givenName>Ralf</givenName>
      <familyName>Jung</familyName>
      <affiliation>MPI-SWS, Germany</affiliation>
    </creator>
    <creator>
      <creatorName>Lepigre, Rodolphe</creatorName>
      <givenName>Rodolphe</givenName>
      <familyName>Lepigre</familyName>
      <affiliation>MPI-SWS, Germany</affiliation>
    </creator>
    <creator>
      <creatorName>Parthasarathy, Gaurav</creatorName>
      <givenName>Gaurav</givenName>
      <familyName>Parthasarathy</familyName>
      <affiliation>ETH Zurich, Switzerland and MPI-SWS, Germany</affiliation>
    </creator>
    <creator>
      <creatorName>Rapoport, Marianna</creatorName>
      <givenName>Marianna</givenName>
      <familyName>Rapoport</familyName>
      <affiliation>University of Waterloo, Canada and MPI-SWS, Germany</affiliation>
    </creator>
    <creator>
      <creatorName>Timany, Amin</creatorName>
      <givenName>Amin</givenName>
      <familyName>Timany</familyName>
      <affiliation>imec-DistriNet, KU Leuven, Belgium</affiliation>
    </creator>
    <creator>
      <creatorName>Dreyer, Derek</creatorName>
      <givenName>Derek</givenName>
      <familyName>Dreyer</familyName>
      <affiliation>MPI-SWS, Germany</affiliation>
    </creator>
    <creator>
      <creatorName>Jacobs, Bart</creatorName>
      <givenName>Bart</givenName>
      <familyName>Jacobs</familyName>
      <affiliation>imec-DistriNet, KU Leuven, Belgium</affiliation>
    </creator>
  </creators>
  <titles>
    <title>The Future is Ours: Prophecy Variables in Separation Logic -- Artifact</title>
  </titles>
  <publisher>Zenodo</publisher>
  <publicationYear>2019</publicationYear>
  <dates>
    <date dateType="Issued">2019-11-14</date>
  </dates>
  <resourceType resourceTypeGeneral="Other"/>
  <alternateIdentifiers>
    <alternateIdentifier alternateIdentifierType="url">https://zenodo.org/record/3570660</alternateIdentifier>
  </alternateIdentifiers>
  <relatedIdentifiers>
    <relatedIdentifier relatedIdentifierType="DOI" relationType="IsSupplementTo" resourceTypeGeneral="Text">10.1145/3371113</relatedIdentifier>
    <relatedIdentifier relatedIdentifierType="DOI" relationType="IsVersionOf">10.5281/zenodo.3541917</relatedIdentifier>
  </relatedIdentifiers>
  <rightsList>
    <rights rightsURI="https://creativecommons.org/licenses/by/4.0/legalcode">Creative Commons Attribution 4.0 International</rights>
    <rights rightsURI="info:eu-repo/semantics/openAccess">Open Access</rights>
  </rightsList>
  <descriptions>
    <description descriptionType="Abstract">&lt;p&gt;This is the artifact accompanying the POPL20 paper &amp;quot;&lt;em&gt;The Future is Ours: Prophecy Variables in Separation Logic&amp;quot;&lt;/em&gt;.&lt;/p&gt;

&lt;p&gt;For more information about that paper, see &lt;a href="https://plv.mpi-sws.org/prophecies/"&gt;https://plv.mpi-sws.org/prophecies/&lt;/a&gt;.&lt;/p&gt;</description>
    <description descriptionType="Other">The only difference with the previous upload is the presence of a previously missing license file.</description>
  </descriptions>
  <fundingReferences>
    <fundingReference>
      <funderName>European Commission</funderName>
      <funderIdentifier funderIdentifierType="Crossref Funder ID">10.13039/501100000780</funderIdentifier>
      <awardNumber awardURI="info:eu-repo/grantAgreement/EC/H2020/731453/">731453</awardNumber>
      <awardTitle>VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS</awardTitle>
    </fundingReference>
    <fundingReference>
      <funderName>European Commission</funderName>
      <funderIdentifier funderIdentifierType="Crossref Funder ID">10.13039/501100000780</funderIdentifier>
      <awardNumber awardURI="info:eu-repo/grantAgreement/EC/H2020/683289/">683289</awardNumber>
      <awardTitle>Logical Foundations for the Future of Safe Systems Programming</awardTitle>
    </fundingReference>
  </fundingReferences>
</resource>
195
20
views
downloads
All versions This version
Views 19578
Downloads 2015
Data volume 15.9 GB6.0 GB
Unique views 17371
Unique downloads 1410

Share

Cite as