Publication:

The Future is Ours: Prophecy Variables in Separation Logic

Date

2020
Journal article
https://doi.org/10.1145/3371113
Simple item page Full metadata Statistics
Loading...
Thumbnail Image

Files

Published version 449.45 KB

Author(s)

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

Journal

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL

Abstract

Description

Metrics

Downloads

91 since deposited on 2021-11-02
Acq. date: 2025-10-26

Views

1817 since deposited on 2021-11-02
Acq. date: 2025-10-26

Citations

Metrics

Downloads

91 since deposited on 2021-11-02
Acq. date: 2025-10-26

Views

1817 since deposited on 2021-11-02
Acq. date: 2025-10-26

Citations