Re: Java ByteCode Verifyer documentation?

Li Gong (gong@games.eng.sun.com)
Wed, 8 Jul 1998 18:15:46 -0700

Date: Wed, 8 Jul 1998 18:15:46 -0700
Message-Id: <199807090115.SAA24271@games.eng.sun.com>
From: Li Gong <gong@games.eng.sun.com>
To: Gilles Gravier <Gilles.Gravier@Swiss>
Subject: Re: Java ByteCode Verifyer documentation?
In-Reply-To: Gilles Gravier's mail of Wed, 8 July, 1998

The best available documents are the Java Language/VM spec books.
Also an old paper by F. Yellin has some details, which is somewhere on
java.sun.com but I cannot remember its exact location.

Li

--

Gilles Gravier writes: > Hi! > > One of my customers asked if there was a document explaining what > the bytecode verifyer does? And how it does it? > > Thanks in advance, > Gilles Gravier. > -- > 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 | > \--------------+-------------------------------------------------------/ >