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 Norton, Christopher Pulte, Alastair Reid, Peter Sewell, Ian Stark, Mark Wassell

Automated Reasoning Workshop 2018
Cambridge, UK
April 2018



@article{conf/arw18/armstrong , ar_file = {ARW_18} , ar_shortname = {ARW 18} , author = {Alasdair Armstrong and Thomas Bauereiss and Brian Campbell and Shaked Flur and Kathryn E. Gray and Prashanth Mundkur and Robert Norton and Christopher Pulte and Alastair Reid and Peter Sewell and Ian Stark and Mark Wassell} , booktitle = {Automated Reasoning Workshop 2018} , location = {Cambridge, UK} , month = {April} , title = {{D}etailed {M}odels of {I}nstruction {S}et {A}rchitectures: {F}rom {P}seudocode to {F}ormal {S}emantics} , year = {2018} }