Modular Verification of Heap Reachability Properties in Separation Logic
OPEN ACCESS
Loading...
Author / Producer
Date
2019-10
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
OPEN ACCESS
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Journal / series
Volume
3 (00PSLA)
Pages / Article No.
121
Publisher
Association for Computing Machinery
Event
Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2019)
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
graphs; heap reachability; separation logic; SMT; specification
Organisational unit
03653 - Müller, Peter / Müller, Peter
Notes
Conference lecture held on October 23, 2019
Funding
Related publications and datasets
Is continued by: