Verification of semantic commutativity conditions and inverse operations on linked data structures
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Deokhwan Kim, Martin C. Rinard
Verification of semantic commutativity conditions and inverse operations on linked data structures
PLDI, 2011.

PLDI 2011
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{PLDI-2011-KimR,
	author        = "Deokhwan Kim and Martin C. Rinard",
	booktitle     = "{Proceedings of the 32nd Conference on Programming Language Design and Implementation}",
	doi           = "10.1145/1993498.1993561",
	editor        = "Mary W. Hall and David A. Padua",
	isbn          = "978-1-4503-0663-8",
	pages         = "528--541",
	publisher     = "{ACM}",
	title         = "{Verification of semantic commutativity conditions and inverse operations on linked data structures}",
	year          = 2011,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.