TY  - JOUR
SN  - 0001-0782
UR  - https://doi.org/10.1145/3211968
JF  - Communications - ACM
A1  - O'Hearn, P
VL  - 62
SP  - 86
N1  - This version is the author accepted manuscript. For information on re-use, please refer to the publisher?s terms and conditions.
IS  - 2
ID  - discovery10075346
N2  - Separation logic is a key development in formal reasoning about programs, opening up new lines of attack on longstanding problems.
PB  - ASSOC COMPUTING MACHINERY
TI  - Separation Logic
EP  - 95
AV  - public
Y1  - 2019/02//
ER  -