Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: S

Number of items: 1.

S

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 Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL Principles of Programming Languages . ACM, New York, USA, pp. 379-391. ISBN 978-1-60558-379-2. (doi:10.1145/1480881.1480929) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:31907)

This list was generated on Sun May 12 00:03:16 2024 BST.