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/.
The only difference with the previous upload is the presence of a previously missing license file.
Files
(2.0 GB)
| 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 |
66
9
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 66 | 29 |
| Downloads | 9 | 6 |
| Data volume | 9.9 GB | 4.0 GB |
| Unique views | 53 | 24 |
| Unique downloads | 4 | 2 |
Indexed in
- Publication date:
- November 14, 2019
- DOI:
-
- Grants:
-
European Commission:
-
VESSEDIA - VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS (731453)
- RustBelt - Logical Foundations for the Future of Safe Systems Programming (683289)
-
VESSEDIA - VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS (731453)
- Related identifiers:
- Supplement to
- 10.1145/3371113 (Conference paper)
- License (for files):
- Creative Commons Attribution 4.0 International