research product . Other ORP type . Under curation

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

Jung, Ralf; Lepigre, Rodolphe; Parthasarathy, Gaurav; Rapoport, Marianna; Timany, Amin; Dreyer, Derek; Jacobs, Bart;
Open Access
  • Publisher: Zenodo
Abstract
<p>This is the artifact accompanying the POPL20 paper &quot;<em>The Future is Ours: Prophecy Variables in Separation Logic&quot;</em>.</p> <p>For more information about that paper, see <a href="https://plv.mpi-sws.org/prophecies/">https://plv.mpi-sws.org/prophecies/</a>.</p>
Persistent Identifiers
Funded by
EC| VESSEDIA
Project
VESSEDIA
VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS
  • Funder: European Commission (EC)
  • Project Code: 731453
  • Funding stream: H2020
,
EC| RustBelt
Project
RustBelt
Logical Foundations for the Future of Safe Systems Programming
  • Funder: European Commission (EC)
  • Project Code: 683289
  • Funding stream: H2020
Download from
Zenodo
Other ORP type
Provider: Zenodo
Any information missing or wrong?Report an Issue