Java and the Java Virtual Machine (R. Stärk, J. Schmid, E. Börger)

What's New

November 7, 2003
Added a note that Sun's J2SE 1.4.2 compiler inlines the code of the finally blocks in the example programs in Figures 16.8 and 16.9. Therefore, these programs are accepted by the bytecode verifier when compiled under 1.4.2.
August 30, 2001
Added Frequently Asked Questions.
July 20, 2001
Added note that Bernard Serpette's bytecode verifier verifies the examples in Figure 16.8 and Figure 16.9.
June 11, 2001
Book available in the book stores.
June 7, 2001
Added material about Jbook.
May 28, 2001
Version 1.04 of executable models available.
May 7, 2001
Version 1.03 of executable models available. This version is on the CD-ROM.
May 3, 2001
Version 1.02 of executable models available.
May 2, 2001
Version 1.01 of executable models available.
April 2001
Jbook in press.

ETH Home August 2001
ETH Logo