Login / Signup

A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture.

Anthony C. J. FoxMagnus O. Myreen
Published in: ITP (2010)
Keyphrases
  • instruction set architecture
  • instruction set
  • datalog queries
  • deductive databases
  • datalog programs
  • database