Detailed Models of Instruction Set Architectures From Pseudocode to Formal Semantics


[pdf]

Automated Reasoning Workshop 2018
Cambridge, UK
April 2018

Abstract

BibTeX

@article{conf/arw18/armstrong , ar_file = {ARW_18} , ar_shortname = {ARW 18} , authors = {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} , file = {arw2018.pdf} , 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} }