Microsoft Research
Microsoft Translator |
The Semantics of Power and ARM Multiprocessor Machine Code

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

draft-ppc-arm.pdf
PDF file

In  Workshop on Declarative Aspects of Multicore Programming

Details

TypeInproceedings
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > The Semantics of Power and ARM Multiprocessor Machine Code