DMCA
Machine Words in Isabelle/HOL (2011)
by
Jeremy Dawson
,
Paul Graunke
,
Brian Huffman
,
Gerwin Klein
,
John Matthews
BibTeX
@MISC{Dawson11machinewords,
author = {Jeremy Dawson and Paul Graunke and Brian Huffman and Gerwin Klein and John Matthews},
title = {Machine Words in Isabelle/HOL},
year = {2011}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
A formalisation of generic, fixed size machine words in Isabelle/HOL. An earlier version of this formalisation is described in [1].
