A certifying compiler for Java

This publication has 10 references indexed in Scilit:

• A semantic model of types and machine instructions for proof-carrying code
  Published by Association for Computing Machinery (ACM) ,2000
• From system F to typed assembly language
  ACM Transactions on Programming Languages and Systems, 1999
• Certifying Compilation and Run-Time Code Generation
  Higher-Order and Symbolic Computation, 1999
• The design and implementation of a certifying compiler
  Published by Association for Computing Machinery (ACM) ,1998
• Software reliability via run-time result-checking
  Journal of the ACM, 1997
• Proof-carrying code
  Published by Association for Computing Machinery (ACM) ,1997
• Safe kernel extensions without run-time checking
  Published by Association for Computing Machinery (ACM) ,1996
• TIL
  Published by Association for Computing Machinery (ACM) ,1996
• A framework for defining logics
  Journal of the ACM, 1993
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967