Detailed models of instruction set architectures: From pseudocode to formal semantics

Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Shaked Flur, Kathryn E. Gray, Prashanth Mundkur, Robert M. Norton, Christopher Pulte, Alastair D. Reid, Peter Sewell, Ian Stark, Mark Wassell
[Google Scholar] [DBLP] [Citeseer]

Automated Reasoning Workshop 2018
Cambridge, UK
April 2018
Note(s): Arm architecture, ISA specification, instruction set architecture, dependent type, SAIL language