Exact Separation Logic (submitted) Venue Publication Year 2022 Authors Petar Maksimovic Caroline Cronjäger Julian Sutherland Andreas Lööw Sacha-Élie Ayoun Philippa Gardner Source Materials Authors' Preprint/Accepted Version BibTeX Citation