The Future is Ours: Prophecy Variables in Separation Logic
dc.contributor.author | Jung, Ralf | |
dc.contributor.author | Lepigre, Rodolphe | |
dc.contributor.author | Parthasarathy, Gaurav | |
dc.contributor.author | Rapoport, Marianna | |
dc.contributor.author | Timany, Amin | |
dc.contributor.author | Dreyer, Derek | |
dc.contributor.author | Jacobs, Bart | |
dc.date.accessioned | 2021-11-26T09:37:29Z | |
dc.date.available | 2021-11-02T15:57:28Z | |
dc.date.available | 2021-11-26T09:37:29Z | |
dc.date.issued | 2020 | |
dc.identifier.issn | 2475-1421 | |
dc.identifier.other | WOS:000685202400046 | |
dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/37609.2 | |
dc.source | WOS | |
dc.title | The Future is Ours: Prophecy Variables in Separation Logic | |
dc.type | Journal article | |
dc.contributor.orcidext | Timany, Amin::0000-0002-2237-851X | |
dc.identifier.doi | 10.1145/3371113 | |
dc.source.numberofpages | 32 | |
dc.source.peerreview | yes | |
dc.source.journal | PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL | |
dc.source.issue | na | |
dc.source.volume | 4 | |
imec.availability | Published - open access |