Specifying Compatible Sharing in Data Structures.

Asankhaya Sharma, Aquinas Hobor, Wei-Ngan Chin

Browse the full ICFEM paper archive.