Browse by Person (creator, editor, contributor, etc.)
Number of items: 1. Conference or workshop item
|
Sarkar, Susmit and Sewell, Peter and Zappa Nardelli, Francesco and Owens, Scott and Ridge, Tom and Braibant, Thomas and Myreen, Magnus O. and Alglave, Jade
(2009)
The Semantics of x86-CC Multiprocessor Machine Code.
In: POPL '09: 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 21st - 23rd, 2009, Savannah, Georgia, USA.
The full text of this publication is not available from this repository.
|
|
This list was generated on Wed Jun 19 11:59:21 2013 BST. |
