Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/20788
Title: The semantics of x86-CC multiprocessor machine code
Authors: Sarkar, S
Sewell, P
Nardelli, FZ
Owens, S
Ridge, T
Braibant, T
Myreen, MO
Alglave, J
First Published: 2009
Citation: CONFERENCE RECORD OF THE ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2009, pp. 379-391
DOI Link: 10.1145/1480881.1480929
ISSN: 0730-8566
Links: http://hdl.handle.net/2381/20788
Type: Journal Article
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
There are no files associated with this item.


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.