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