Verification of semantic commutativity conditions and inverse operations on linked data structures.

Deokhwan Kim, Martin C. Rinard

Browse the full PLDI paper archive.