A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines (1998)

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