Sarkar, S and Sewell, P and Nardelli, FZ and Owens, S and Ridge, T and Braibant, T and Myreen, MO and Alglave, J (2009) The semantics of x86-CC multiprocessor machine code. In: ACM SIGPLAN Notices. (pp. 379 - 391).
Full text not available from this repository.
| Type: | Proceedings paper |
|---|---|
| Title: | The semantics of x86-CC multiprocessor machine code |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record