Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding.

Petar Maksimovic, Caroline Cronjger, Andreas Lw, Julian Sutherland, Philippa Gardner

Browse the full ECOOP paper archive.