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.
|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