Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 7-Day Trial for You or Your Team.

Learn More →

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

Verification of semantic commutativity conditions and inverse operations on linked data structures http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation Unpaywall

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

Kim, Deokhwan; Rinard, Martin C.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation – Jun 4, 2011
Download PDF

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

Kim, Deokhwan; Rinard, Martin C.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation – Jun 4, 2011

Loading next page...
 
/lp/unpaywall/verification-of-semantic-commutativity-conditions-and-inverse-iDVnm9M1RE

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Unpaywall
DOI
10.1145/1993498.1993561
Publisher site
See Article on Publisher Site

Abstract

Journal

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation – Unpaywall

Published: Jun 4, 2011

There are no references for this article.