Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning.

Sigmund Cherem, Radu Rugina

Browse the full VMCAI paper archive.