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


JSON-LD (schema.org) Export

{
  "description": "<p>This is the artifact accompanying the POPL20 paper &quot;<em>The Future is Ours: Prophecy Variables in Separation Logic&quot;</em>.</p>\n\n<p>For more information about that paper, see <a href=\"https://plv.mpi-sws.org/prophecies/\">https://plv.mpi-sws.org/prophecies/</a>.</p>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "MPI-SWS, Germany", 
      "@type": "Person", 
      "name": "Jung, Ralf"
    }, 
    {
      "affiliation": "MPI-SWS, Germany", 
      "@type": "Person", 
      "name": "Lepigre, Rodolphe"
    }, 
    {
      "affiliation": "ETH Zurich, Switzerland and MPI-SWS, Germany", 
      "@type": "Person", 
      "name": "Parthasarathy, Gaurav"
    }, 
    {
      "affiliation": "University of Waterloo, Canada and MPI-SWS, Germany", 
      "@type": "Person", 
      "name": "Rapoport, Marianna"
    }, 
    {
      "affiliation": "imec-DistriNet, KU Leuven, Belgium", 
      "@type": "Person", 
      "name": "Timany, Amin"
    }, 
    {
      "affiliation": "MPI-SWS, Germany", 
      "@type": "Person", 
      "name": "Dreyer, Derek"
    }, 
    {
      "affiliation": "imec-DistriNet, KU Leuven, Belgium", 
      "@type": "Person", 
      "name": "Jacobs, Bart"
    }
  ], 
  "url": "https://zenodo.org/record/3570660", 
  "datePublished": "2019-11-14", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.3570660", 
  "@id": "https://doi.org/10.5281/zenodo.3570660", 
  "@type": "CreativeWork", 
  "name": "The Future is Ours: Prophecy Variables in Separation Logic -- Artifact"
}
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