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


Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Jung, Ralf</dc:creator>
  <dc:creator>Lepigre, Rodolphe</dc:creator>
  <dc:creator>Parthasarathy, Gaurav</dc:creator>
  <dc:creator>Rapoport, Marianna</dc:creator>
  <dc:creator>Timany, Amin</dc:creator>
  <dc:creator>Dreyer, Derek</dc:creator>
  <dc:creator>Jacobs, Bart</dc:creator>
  <dc:date>2019-11-14</dc:date>
  <dc:description>This is the artifact accompanying the POPL20 paper "The Future is Ours: Prophecy Variables in Separation Logic".

For more information about that paper, see https://plv.mpi-sws.org/prophecies/.</dc:description>
  <dc:description>The only difference with the previous upload is the presence of a previously missing license file.</dc:description>
  <dc:identifier>https://zenodo.org/record/3570660</dc:identifier>
  <dc:identifier>10.5281/zenodo.3570660</dc:identifier>
  <dc:identifier>oai:zenodo.org:3570660</dc:identifier>
  <dc:relation>info:eu-repo/grantAgreement/EC/H2020/731453/</dc:relation>
  <dc:relation>info:eu-repo/grantAgreement/EC/H2020/683289/</dc:relation>
  <dc:relation>doi:10.1145/3371113</dc:relation>
  <dc:relation>doi:10.5281/zenodo.3541917</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:rights>https://creativecommons.org/licenses/by/4.0/legalcode</dc:rights>
  <dc:title>The Future is Ours: Prophecy Variables in Separation Logic -- Artifact</dc:title>
  <dc:type>info:eu-repo/semantics/other</dc:type>
  <dc:type>other</dc:type>
</oai_dc:dc>
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