Actions
  • shareshare
  • link
  • cite
  • add
add
auto_awesome_motion View all 2 versions
Other research product . Other ORP type . 2019

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
Published: 14 Nov 2019
Publisher: Zenodo
Abstract

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/.

Subjects by Vocabulary

ACM Computing Classification System: GeneralLiterature_REFERENCE(e.g.,dictionaries,encyclopedias,glossaries) ComputingMilieux_MISCELLANEOUS

Related Organizations
Funded by
EC| RustBelt
Project
RustBelt
Logical Foundations for the Future of Safe Systems Programming
  • Funder: European Commission (EC)
  • Project Code: 683289
  • Funding stream: H2020 | ERC | ERC-COG
,
EC| VESSEDIA
Project
VESSEDIA
VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS
  • Funder: European Commission (EC)
  • Project Code: 731453
  • Funding stream: H2020 | RIA
Download fromView all 2 sources
lock_open
moresidebar