Modelling the ARMv8 architecture, operationally: concurrency and ISA
Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, Peter Sewell[doi] [Google Scholar] [DBLP] [Citeseer]
Proceedings Principles of Programming Languages, POPL 2016
Pages 608-621
2016
Note(s): Arm architecture, ISA specification, instruction set architecture
Pages 608-621
2016
Note(s): Arm architecture, ISA specification, instruction set architecture