Published November 14, 2019
| Version v2
Other
Open
The Future is Ours: Prophecy Variables in Separation Logic -- Artifact
Creators
- 1. MPI-SWS, Germany
- 2. ETH Zurich, Switzerland and MPI-SWS, Germany
- 3. University of Waterloo, Canada and MPI-SWS, Germany
- 4. imec-DistriNet, KU Leuven, Belgium
Description
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/.
Notes
The only difference with the previous upload is the presence of a previously missing license file.
Files
README.md
Files
(2.0 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:0ee248e4ecd6e270b9d9b1b37d4efafc
|
2.0 GB | Download |
|
md5:584ba1f4e514c05e175ddb72081bfc39
|
1.5 kB | Preview Download |
|
md5:d087752df93bc2e8a4ed8c63aab50f92
|
622.8 kB | Download |
Additional details
Related works
- Is supplement to
- Conference paper: 10.1145/3371113 (DOI)