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


BibTeX Export

@misc{jung_ralf_2019_3570660,
  author       = {Jung, Ralf and
                  Lepigre, Rodolphe and
                  Parthasarathy, Gaurav and
                  Rapoport, Marianna and
                  Timany, Amin and
                  Dreyer, Derek and
                  Jacobs, Bart},
  title        = {{The Future is Ours: Prophecy Variables in 
                   Separation Logic -- Artifact}},
  month        = nov,
  year         = 2019,
  note         = {{The only difference with the previous upload is 
                   the presence of a previously missing license file.}},
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.3570660},
  url          = {https://doi.org/10.5281/zenodo.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