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
54
9
views
downloads
All versions This version
Views 5432
Downloads 93
Data volume 9.9 GB6.0 GB
Unique views 4125
Unique downloads 43

Share

Cite as