Finite Machine Word Library (Q7361376)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Word_Lib
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Finite Machine Word Library |
AFP entry Word_Lib |
Statements
9 June 2016
0 references
Joel Beeren
0 references
Matthew Fernandez
0 references
Xin Gao
0 references
Gerwin Klein
0 references
Rafal Kolanski
0 references
Japheth Lim
0 references
Corey Lewis
0 references
Daniel Matichuk
0 references
Thomas Sewell
0 references
Finite Machine Word Library (English)
0 references
This entry contains an extension to the Isabelle library for fixed-width machine words. In particular, the entry adds quickcheck setup for words, printing as hexadecimals, additional operations, reasoning about alignment, signed words, enumerations of words, normalisation of word numerals, and an extensive library of properties about generic fixed-width words, as well as an instantiation of many of these to the commonly used 32 and 64-bit bases.
0 references
