Ribbon Proofs for Separation Logic.

John Wickerson, Mike Dodds, Matthew J. Parkinson

Browse the full ESOP paper archive.