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
52
5
views
downloads
All versions This version
Views 5221
Downloads 53
Data volume 6.0 GB2.0 GB
Unique views 3916
Unique downloads 31
More info on how stats are collected.
Indexed in
Publication date:
November 14, 2019
DOI:
10.5281/zenodo.3570660

Zenodo DOI Badge

DOI 

10.5281/zenodo.3570660

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3570660.svg)](https://doi.org/10.5281/zenodo.3570660)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.3570660.svg
   :target: https://doi.org/10.5281/zenodo.3570660

HTML 

<a href="https://doi.org/10.5281/zenodo.3570660"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.3570660.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.3570660.svg

Target URL 

https://doi.org/10.5281/zenodo.3570660

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)
Related identifiers:
Supplement to
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 2 10.5281/zenodo.3570660 Nov 14, 2019
Version 1 10.5281/zenodo.3541918 Nov 14, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3541917. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export