A formal specification of Java[TM] virtual machine instructions for objects, methods and subroutines (0)

by LEJ Z Qian
Venue:Lecture Notes in Computer Science, 1523:271– ??, 1999. CODEN LNCSD9. [Rag97] Balaji Raghunathan. Letter