Notice
This item has not yet been validated by imec staff.
Notice
This is not the latest version of this item. The latest version can be found at: https://imec-publications.be/handle/20.500.12860/37609.2
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-02T15:57:28Z | |
dc.date.available | 2021-11-02T15:57:28Z | |
dc.date.issued | 2020-JAN | |
dc.identifier.other | WOS:000685202400046 | |
dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/37609 | |
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.volume | 4 | |
imec.availability | Under review |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |