A formal spec of JVM instructions

Some time ago, I announced the availability of the following paper in this 
mailing list:
    A Formal Specification of Java Virtual Machine Instructions

This email is to tell you that a significant revision of the paper is now 
available under 


Best regards, Zhenyu Qian