Modular Design for the Java Virtual Machine Architecture

This publication has 9 references indexed in Scilit:

• Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL
  Published by Springer Nature ,1999
• Formal Syntax and Semantics of Java
  Published by Springer Nature ,1999
• A type system for object initialization in the Java bytecode language
  Published by Association for Computing Machinery (ACM) ,1998
• What is Java binary compatibility?
  Published by Association for Computing Machinery (ACM) ,1998
• A formal introduction to the compilation of Java
  Software: Practice and Experience, 1998
• A type system for Java bytecode subroutines
  Published by Association for Computing Machinery (ACM) ,1998
• Byte code verification for Java smart cards based on model checking
  Published by Springer Nature ,1998
• Defining the Java Virtual Machine as platform for provably correct Java compilation
  Published by Springer Nature ,1998
• The security of static typing with dynamic linking
  Published by Association for Computing Machinery (ACM) ,1997