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/.
Files
(2.0 GB)
| Name | Size | |
|---|---|---|
|
prophecy_artifact.tar
md5:b4da0fb0c76bae51ed25e6f44bf50ec3 |
2.0 GB | Download |
657
73
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 657 | 405 |
| Downloads | 73 | 15 |
| Data volume | 65.5 GB | 29.8 GB |
| Unique views | 516 | 335 |
| Unique downloads | 45 | 15 |
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