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
73
10
views
downloads
All versions This version
Views 7341
Downloads 104
Data volume 11.9 GB7.9 GB
Unique views 5934
Unique downloads 54

Share

Cite as