A Programming Logic for Java Bytecode Programs

This publication has 5 references indexed in Scilit:

• Java Program Verification via a Hoare Logic with Abrupt Termination
  Published by Springer Nature ,2000
• Proving Theorems About Java-Like Byte Code
  Published by Springer Nature ,1999
• Java_light is type-safe---definitely
  Published by Association for Computing Machinery (ACM) ,1998
• Java is type safe — Probably
  Published by Springer Nature ,1997
• The Formal Semantics of Programming Languages
  Published by MIT Press ,1993