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

This is the artifact accompanying the POPL20 paper "The Future is Ours: Prophecy Variables in Separation Logic".

For more information about that paper, see https://plv.mpi-sws.org/prophecies/.

The only difference with the previous upload is the presence of a previously missing license file.
Files (2.0 GB)
Name Size
prophecy.ova
md5:0ee248e4ecd6e270b9d9b1b37d4efafc
2.0 GB Download
README.md
md5:584ba1f4e514c05e175ddb72081bfc39
1.5 kB Download
the_artifact.tgz
md5:d087752df93bc2e8a4ed8c63aab50f92
622.8 kB Download
52
5
views
downloads
All versions This version
Views 5221
Downloads 53
Data volume 6.0 GB2.0 GB
Unique views 3916
Unique downloads 31

Share

Cite as