BI as an Assertion Language for Mutable Data Structures.

Samin S. Ishtiaq, Peter W. O'Hearn

Browse the full POPL paper archive.