Show simple item record

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.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.issn2475-1421
dc.identifier.otherWOS:000685202400046
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/37609.2
dc.sourceWOS
dc.titleThe Future is Ours: Prophecy Variables in Separation Logic
dc.typeJournal article
dc.contributor.orcidextTimany, Amin::0000-0002-2237-851X
dc.identifier.doi10.1145/3371113
dc.source.numberofpages32
dc.source.peerreviewyes
dc.source.journalPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
dc.source.issuena
dc.source.volume4
imec.availabilityPublished - open access


Files in this item

Thumbnail

This item appears in the following collection(s)

Show simple item record

VersionItemDateSummary

*Selected version