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

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/.

Files (2.0 GB)
Name Size
prophecy_artifact.tar
md5:b4da0fb0c76bae51ed25e6f44bf50ec3
2.0 GB Download
97
12
views
downloads
All versions This version
Views 9752
Downloads 125
Data volume 15.9 GB9.9 GB
Unique views 8044
Unique downloads 75

Share

Cite as