Publication:

The Future is Ours: Prophecy Variables in Separation Logic

Date

2020
Journal article
https://doi.org/10.1145/3371113
Simple item page Full metadata Statistics
 
dc.contributor.authorJung, Ralf
dc.contributor.authorLepigre, Rodolphe
dc.contributor.authorParthasarathy, Gaurav
dc.contributor.authorRapoport, Marianna
dc.contributor.authorTimany, Amin
dc.contributor.authorDreyer, Derek
dc.contributor.authorJacobs, Bart
dc.contributor.orcidextTimany, Amin::0000-0002-2237-851X
dc.date.accessioned2021-11-26T09:37:29Z
dc.date.available2021-11-02T15:57:28Z
dc.date.available2021-11-26T09:37:29Z
dc.date.issued2020
dc.identifier.doi10.1145/3371113
dc.identifier.issn2475-1421
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/37609
dc.publisherASSOC COMPUTING MACHINERY
dc.source.issuena
dc.source.journalPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
dc.source.numberofpages32
dc.source.volume4
dc.subject.keywordsLINEARIZABILITY
dc.title

The Future is Ours: Prophecy Variables in Separation Logic

dc.typeJournal article
dspace.entity.typePublication
Files

Original bundle

Name:
3371113.pdf
Size:
449.45 KB
Format:
Adobe Portable Document Format
Description:
Published version
Download
Publication available in collections:
Articles