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

Abstract

BibTeX

@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} }