Eager vs Lazy resolution of classes

[Ranjit Mathew]

Andrew Haley wrote:

> This issue has a bearing on split verification.
> 
> We need to be able to verify a class without doing full class
> initialization of the classes it refers to.  The verifier in the
> runtime library does this (see ref_intersection::compatible()).  This is
> OK.

Anyone interested in this should definitely check out Alessandro
Coglio's "Improving the Official Specification of Bytecode
Verification":

  http://www.kestrel.edu/HTML/projects/java/ccpe03.pdf

(Especially section 5.1 of the paper.)

My 2p.
Ranjit.

-- 
Ranjit Mathew          Email: rmathew AT gmail DOT com

Bangalore, INDIA.      Web: http://ranjitmathew.tripod.com/