Machine Instruction Syntax and Semantics in Higher Order Logic

This publication has 6 references indexed in Scilit:

• A semantic model of types and machine instructions for proof-carrying code
  Published by Association for Computing Machinery (ACM) ,2000
• Specifying representations of machine instructions
  ACM Transactions on Programming Languages and Systems, 1997
• Proof-carrying code
  Published by Association for Computing Machinery (ACM) ,1997
• Logic programming in the LF logical framework
  Published by Cambridge University Press (CUP) ,1991
• Mechanizing Programming Logics in Higher Order Logic
  Published by Springer Nature ,1989
• The calculus of constructions
  Information and Computation, 1988