Work

The semantics of x86-CC multiprocessor machine code

Year: 2009

Type: article

Source: ACM SIGPLAN Notices

DOI: 10.1145/1594834.1480929

Authors: Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave

Institutions: University of Cambridge, Institut national de recherche en sciences et technologies du numérique

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Agence Nationale de la Recherche

Award: security of information systems

OpenAlex ID: W4240975960

FWCI: 5.463

Cites: 15

Cited by: 44

Related to: 10