Actions
shareshare link cite add Please grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added 0 works in your ORCID record related to the merged Research product.
See an issue? Give us feedback
Please grant OpenAIRE to access and update your ORCID works.
This Research product is the result of merged Research products in OpenAIRE.
You have already added 0 works in your ORCID record related to the merged Research product.
You have already added 0 works in your ORCID record related to the merged Research product.
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;
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
ACM Computing Classification System: GeneralLiterature_REFERENCE(e.g.,dictionaries,encyclopedias,glossaries) ComputingMilieux_MISCELLANEOUS
Related Organizations
- Max Planck Society Germany
1 Research products, page 1 of 1
See an issue? Give us feedback
Funded by
EC| RustBelt, EC| VESSEDIA
Project
RustBelt
Logical Foundations for the Future of Safe Systems Programming
- Funder: European Commission (EC)
- Project Code: 683289
- Funding stream: H2020 | ERC | ERC-COG
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
Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.
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/.