Published November 14, 2019
| Version v1
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/.
Files
Files
(2.0 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:b4da0fb0c76bae51ed25e6f44bf50ec3
|
2.0 GB | Download |
Additional details
Related works
- Is supplement to
- Conference paper: 10.1145/3371113 (DOI)