Toggle navigation
My submissions
Login
Toggle navigation
View item
imec Publications Repository
imec Publications
Articles
View item
imec Publications Repository
imec Publications
Articles
View item
JavaScript is disabled for your browser. Some features of this site may not work without it.
The Future is Ours: Prophecy Variables in Separation Logic
View/
open
Published version (449.4Kb)
Metadata
Show full item record
Authors
Jung, Ralf
;
Lepigre, Rodolphe
;
Parthasarathy, Gaurav
;
Rapoport, Marianna
;
Timany, Amin
;
Dreyer, Derek
;
Jacobs, Bart
DOI
10.1145/3371113
ISSN
2475-1421
Issue
na
Journal
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
Volume
4
Title
The Future is Ours: Prophecy Variables in Separation Logic
Publication type
Journal article
Collections
Articles
Version history
Version
Item
Date
Summary
2
20.500.12860/37609.2
*
2021-11-26T09:34:22Z
validation by library/open access desk
1
20.500.12860/37609
2021-11-02T15:57:28Z
*Selected version
Search imec Publications Repository
This collection
Browse
All of imec Publications Repository
Collections
Publication date
Authors
Titles
Subjects
imec author
Availability
Publication type
This collection
Publication date
Authors
Titles
Subjects
imec author
Availability
Publication type
My account
login