%0 Conference Paper %1 conf/pldi/KimR11 %A Kim, Deokhwan %A Rinard, Martin C. %B PLDI %D 2011 %E Hall, Mary W. %E Padua, David A. %I ACM %K dblp %P 528-541 %T Verification of semantic commutativity conditions and inverse operations on linked data structures. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2011.html#KimR11 %@ 978-1-4503-0663-8

@inproceedings{conf/pldi/KimR11, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kim, Deokhwan and Rinard, Martin C.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d1ae9f31e9c21b93daceb2280d868c91/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2011}, editor = {Hall, Mary W. and Padua, David A.}, ee = {https://doi.org/10.1145/1993498.1993561}, interhash = {d48c1d003f1fc03df120e2d5a23b41a0}, intrahash = {d1ae9f31e9c21b93daceb2280d868c91}, isbn = {978-1-4503-0663-8}, keywords = {dblp}, pages = {528-541}, publisher = {ACM}, timestamp = {2019-09-27T20:08:39.000+0200}, title = {Verification of semantic commutativity conditions and inverse operations on linked data structures.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2011.html#KimR11}, year = 2011 }