TY  - RPRT
TI  - Exact Separation Logic (Extended Version)
AU  - Petar Maksimović
AU  - Caroline Cronjäger
AU  - Andreas Lööw
AU  - Julian Sutherland
AU  - Philippa Gardner
PY  - 2023
DO  - 10.4230/lipics.ecoop.2023.19
UR  - https://arxiv.org/abs/2208.07200
ID  - 2208.07200
ER  -