Modular verification of linked lists with views via separation logic.

Jonas Braband Jensen, Lars Birkedal, Peter Sestoft

Browse the full ECOOP paper archive.