Deokhwan Kim, Martin C. Rinard. Verification of semantic commutativity conditions and inverse operations on linked data structures. In Mary W. Hall, David A. Padua, editors, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. pages 528-541, ACM, 2011. [doi]
Abstract is missing.