The semantics of x86-CC multiprocessor machine code
Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
POPL '09
Savannah, GA, USA
ACM
New York, NY, USA
Pages 379-391
2009
Note(s): x86 architecture, ISA specification, instruction set architecture
POPL '09
Savannah, GA, USA
ACM
New York, NY, USA
Pages 379-391
2009
Note(s): x86 architecture, ISA specification, instruction set architecture