Other Open Access
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/.
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 |
All versions | This version | |
---|---|---|
Views | 536 | 204 |
Downloads | 52 | 41 |
Data volume | 49.6 GB | 27.8 GB |
Unique views | 415 | 159 |
Unique downloads | 34 | 25 |