A formal spec of JVM instructions

• To: types@cs.indiana.edu
• Subject: A formal spec of JVM instructions
• From: Zhenyu Qian <qian@Informatik.Uni-Bremen.DE>
• Date: Thu, 27 Nov 1997 11:45:34 +0100
• Cc: qian@Informatik.Uni-Bremen.DE
• Delivery-Date: Thu, 27 Nov 1997 05:46:11 -0500

 
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 

    http://www.informatik.uni-bremen.de/~qian/abs-fsjvm.html

Best regards, Zhenyu Qian

• Prev: Workshop on Explicit Substitutions: Final call for papers
• Next: announcement
• Index(es):
  • Main
  • Thread