The future is ours: prophecy variables in separation logic
- Jung, Ralf MPI-SWS, Germany
- Lepigre, Rodolphe MPI-SWS, Germany
- Parthasarathy, Gaurav ETH Zurich, Switzerland / MPI-SWS, Germany
- Rapoport, Marianna University of Waterloo, Canada / MPI-SWS, Germany
- Timany, Amin KU Leuven, Belgium
- Dreyer, Derek MPI-SWS, Germany
- Jacobs, Bart KU Leuven, Belgium
Published in:
- Proceedings of the ACM on Programming Languages. - Association for Computing Machinery (ACM). - 2020, vol. 4, no. POPL, p. 1-32
- Language
-
- English
- Open access status
- gold
- Identifiers
-
- DOI 10.1145/3371113
- ISSN 2475-1421
- Persistent URL
- https://sonar.ch/global/documents/244416
Statistics
Document views: 28
File downloads:
- Full-text: 0