The semantics of x86-CC multiprocessor machine code
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

Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave
The semantics of x86-CC multiprocessor machine code
POPL, 2009.

POPL 2009
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{POPL-2009-SarkarSNORBMA,
	author        = "Susmit Sarkar and Peter Sewell and Francesco Zappa Nardelli and Scott Owens and Tom Ridge and Thomas Braibant and Magnus O. Myreen and Jade Alglave",
	booktitle     = "{Proceedings of the 36th Symposium on Principles of Programming Languages}",
	doi           = "10.1145/1480881.1480929",
	editor        = "Zhong Shao and Benjamin C. Pierce",
	isbn          = "978-1-60558-379-2",
	pages         = "379--391",
	publisher     = "{ACM}",
	title         = "{The semantics of x86-CC multiprocessor machine code}",
	year          = 2009,
}

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.