Robert St¨ark, Joachim Schmid, Egon B¨orger Java and the Java Virtual Machine Definition, Verification, Validation May 8, 2001 Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo Hong Kong Barcelona Budapest