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 -