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. Conference Record of the Annual ACM Symposium on Principles of Programming Languages 379 - 391.
Full text not available from this repository.
| Type: | Article |
|---|---|
| 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