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


BibTeX Export

@misc{jung_ralf_2019_3541918,
  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,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.3541918},
  url          = {https://doi.org/10.5281/zenodo.3541918}
}
467
50
views
downloads
All versions This version
Views 467301
Downloads 5011
Data volume 47.6 GB21.8 GB
Unique views 360243
Unique downloads 3311

Share

Cite as