A formal speci of Java TM virtual machine instructions for objects, methods and subroutines (1998)

by Zhenyu Qian
Venue:Formal Syntax and Semantics of Java TM . LNCS 1523