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

183 since deposited on 2021-11-02
22last month
5last week
Acq. date: 2026-01-27

Views

1820 since deposited on 2021-11-02
1last month
Acq. date: 2026-01-27

Citations

Statistics

Downloads

183 since deposited on 2021-11-02
22last month
5last week
Acq. date: 2026-01-27

Views

1820 since deposited on 2021-11-02
1last month
Acq. date: 2026-01-27

Citations