Login / Signup
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
Published in:
POPL (2009)
Keyphrases
</>
source code
logic programming
formal semantics
multiprocessor systems
semantic information
flowshop
control flow
highly parallel
error correcting
data sets
open source
scheduling algorithm
specification language
batch processing
database machines
multiprocessor architecture