@article{discovery10075346,
           pages = {86--95},
            note = {This version is the author accepted manuscript. For information on re-use, please refer to the publisher's terms and conditions.},
          volume = {62},
         journal = {Communications - ACM},
       publisher = {ASSOC COMPUTING MACHINERY},
           title = {Separation Logic},
            year = {2019},
          number = {2},
           month = {February},
             url = {https://doi.org/10.1145/3211968},
        abstract = {Separation logic is a key development in formal reasoning about programs, opening up new lines of attack on longstanding problems.},
            issn = {0001-0782},
          author = {O'Hearn, P}
}