Published November 14, 2019 | Version v2
Other Open

The Future is Ours: Prophecy Variables in Separation Logic -- Artifact

Authors/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
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)

Funding

European Commission
VESSEDIA - VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS 731453
European Commission
RustBelt - Logical Foundations for the Future of Safe Systems Programming 683289