There is a newer version of this record available.

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.3541918", 
  "author": [
    {
      "family": "Jung, Ralf"
    }, 
    {
      "family": "Lepigre, Rodolphe"
    }, 
    {
      "family": "Parthasarathy, Gaurav"
    }, 
    {
      "family": "Rapoport, Marianna"
    }, 
    {
      "family": "Timany, Amin"
    }, 
    {
      "family": "Dreyer, Derek"
    }, 
    {
      "family": "Jacobs, Bart"
    }
  ], 
  "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>", 
  "title": "The Future is Ours: Prophecy Variables in Separation Logic -- Artifact", 
  "type": "article", 
  "id": "3541918"
}
464
50
views
downloads
All versions This version
Views 464298
Downloads 5011
Data volume 47.6 GB21.8 GB
Unique views 358241
Unique downloads 3311

Share

Cite as