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

301 since deposited on 2021-11-02
7last month
1last week
Acq. date: 2026-09-17

Views

1821 since deposited on 2021-11-02
Acq. date: 2026-09-17

Citations

Statistics

Downloads

301 since deposited on 2021-11-02
7last month
1last week
Acq. date: 2026-09-17

Views

1821 since deposited on 2021-11-02
Acq. date: 2026-09-17

Citations