The semantics of x86-CC multiprocessor machine code

Full Text:

PDF

Buy this Article

Authors:	Susmit Sarkar	University of Cambridge, Cambridge, United Kingdom
	Peter Sewell	University of Cambridge, Cambridge, United Kingdom
	Francesco Zappa Nardelli	INRIA, Rocquencourt, France
	Scott Owens	University of Cambridge, Cambridge, United Kingdom
	Tom Ridge	University of Cambridge, Cambridge, United Kingdom
	Thomas Braibant	INRIA, Rocquencourt, France
	Magnus O. Myreen	Unviersity of Cambridge, Cambridge, United Kingdom
	Jade Alglave	INRIA, Rocquencourt, France

	2009 Article
Bibliometrics
· Downloads (6 Weeks): 8 · Downloads (12 Months): 56 · Downloads (cumulative): 500 · Citation Count: 35

Published in:

	· Proceeding
	POPL '09 Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
	Pages 379-391 ACM New York, NY, USA ©2009 table of contents ISBN: 978-1-60558-379-2 doi>10.1145/1480881.1480929
	· Newsletter
	ACM SIGPLAN Notices - POPL '09
	Volume 44 Issue 1, January 2009 Pages 379-391 ACM New York, NY, USA table of contents doi>10.1145/1594834.1480929

Tools and Resources