Work

The semantics of power and ARM multiprocessor machine code

Year: 2009

Type: conference-paper

Source: Workshop on Declarative Aspects of Multicore Programming

DOI: 10.1145/1481839.1481842

Authors: Jade Alglave, Anthony Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli

Institutions: Institut national de recherche en sciences et technologies du numérique, University of Cambridge, Microsoft Research (United Kingdom)

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Engineering and Physical Sciences Research Council

Award: Trustworthy programming for multiple instruction sets

OpenAlex ID: W2110879934

FWCI: 4.659

Cites: 19

Cited by: 114

Related to: 10