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

Statistics

Downloads

312 since deposited on 2021-11-02
12last month
3last week
Acq. date: 2026-10-10

Views

1822 since deposited on 2021-11-02
1last month
Acq. date: 2026-10-10

Citations

Statistics

Downloads

312 since deposited on 2021-11-02
12last month
3last week
Acq. date: 2026-10-10

Views

1822 since deposited on 2021-11-02
1last month
Acq. date: 2026-10-10

Citations