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
0
0
views
downloads
All versions This version
Views 00
Downloads 00
Data volume 0 Bytes0 Bytes
Unique views 00
Unique downloads 00

Share

Cite as