The Future is Ours: Prophecy Variables in Separation Logic

Jung, Ralf; Lepigre, Rodolphe; Parthasarathy, Gaurav; Rapoport, Marianna; Timany, Amin; Dreyer, Derek; Jacobs, Bart

doi:10.1145/3371113

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Zeitschriftenartikel

The Future is Ours: Prophecy Variables in Separation Logic

MPG-Autoren

/persons/resource/persons144769

Jung, Ralf
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons260819

Lepigre, Rodolphe
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons144520

Dreyer, Derek
Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;

Externe Ressourcen

https://dx.doi.org/10.5281/zenodo.3570660
(Ergänzendes Material)

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

3371113.pdf
(Verlagsversion), 434KB

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

Jung, R., Lepigre, R., Parthasarathy, G., Rapoport, M., Timany, A., Dreyer, D., et al. (2020). The Future is Ours: Prophecy Variables in Separation Logic. Proceedings of the ACM on Programming Languages, 4(POPL): 45. doi:10.1145/3371113.

Zitierlink: https://hdl.handle.net/21.11116/0000-0008-7E3B-A

Zusammenfassung

Es ist keine Zusammenfassung verfügbar