Ralf Jung 0002, Rodolphe Lepigre, Gaurav Parthasarathy, Marianna Rapoport, Amin Timany, Derek Dreyer, Bart Jacobs 0002
The future is ours: prophecy variables in separation logic
POPL, 2020.
@article{POPL-2020-JungLPRTDJ,
author = "Ralf Jung 0002 and Rodolphe Lepigre and Gaurav Parthasarathy and Marianna Rapoport and Amin Timany and Derek Dreyer and Bart Jacobs 0002",
doi = "10.1145/3371113",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "32",
publisher = "{ACM}",
title = "{The future is ours: prophecy variables in separation logic}",
volume = 4,
year = 2020,
}
Tags:
