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 -