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


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.3570660", 
  "title": "The Future is Ours: Prophecy Variables in Separation Logic -- Artifact", 
  "issued": {
    "date-parts": [
      [
        2019, 
        11, 
        14
      ]
    ]
  }, 
  "abstract": "<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>", 
  "author": [
    {
      "family": "Jung, Ralf"
    }, 
    {
      "family": "Lepigre, Rodolphe"
    }, 
    {
      "family": "Parthasarathy, Gaurav"
    }, 
    {
      "family": "Rapoport, Marianna"
    }, 
    {
      "family": "Timany, Amin"
    }, 
    {
      "family": "Dreyer, Derek"
    }, 
    {
      "family": "Jacobs, Bart"
    }
  ], 
  "note": "The only difference with the previous upload is the presence of a previously missing license file.", 
  "type": "article", 
  "id": "3570660"
}
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