Searching for "A Theory of Finite Maps." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
A HOL specification of the ARM instruction set architecture
- …/registercell-space. hol provides a theory of finite maps, but for the purposes of this work it is sufficient to model…
- Cited by 7 (0 self) – Add To MetaCart
-
A HOL Specification of the ARM Instruction Set Architecture
- … provides a theory of finite maps, but for the purposes of this work it is sufficient to model memory using…
- Add To MetaCart
-
A New Interface for HOL - Ideas, Issues and Implementation
- …, while developing a theory of finite maps. The goals themselves were not large, although the proofs were…
- Cited by 25 (2 self) – Add To MetaCart
Showing 1 through 3.
