Re: JVM ByteCode Verifyer documentation?

Gilles Gravier (Gilles.Gravier@Swiss)
Thu, 09 Jul 1998 08:59:54 +0200

Date: Thu, 09 Jul 1998 08:59:54 +0200
From: Gilles Gravier <Gilles.Gravier@Swiss>
To: aces.java@Corp, java-security@java.Sun.COM
Subject: Re: JVM ByteCode Verifyer documentation?

Thanks to all who responded! (Jim Constantine, Li Gong, Philip Helsel,
Walter Jenni at the time I write this - I'm off-line).

The compiled answers give the following:

> Have them buy ..."Inside The Java Virtual Machine" by Bill Venners
> ISBN 0-07-913248-0. I picked it up at JavaOne and have been pleased
> by its content. Also "The Java Virtual Machine Specification" by
> Lindholm & Yellin ISBN 0-201-63452-x .

> The best available documents are the Java Language/VM spec books.
> Also an old paper by F. Yellin has some details

> The ultimate reference is "The JavaTM Virtual Machine Specification,
> 4.9 Verification of class Files."
> (http://java.sun.com/docs/books/vmspec/index.html)

Thanks again,
Gilles.

-- 
 Forget all this talk about reliability; if it plugs in, it's trouble.
/--------------+-------------------------------------------------------\
|      /\      |                   Gilles Gravier                      |
|     \\ \     |  Technical Consultant - Internet & Java Technologies  |
|    \ \\ /    |                  Sun Microsystems                     |
|   / \/ / /   |           International Enterprise Center             |
|  / /   \//\  |                2, rue de Jargonnant                   |
|  \//\   / /  |                   CH-1207 Geneva                      |
|   / / /\ /   |                    Switzerland                        |
|    / \\ \    |        Email:  Gilles.Gravier@Swiss.Sun.COM           |
|     \ \\     |             Phone:  +41-(22)-707-7856                 |
|      \/      |             Fax:    +41-(22)-707-7888                 |
\--------------+-------------------------------------------------------/