Verification of semantic commutativity conditions and inverse operations on linked data structures
Kim, Deokhwan, Rinard, Martin C.Volume:
47
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/2345156.1993561
Date:
August, 2012
File:
PDF, 512 KB
english, 2012