Gilad Bracha writes about the new java verifier that Sun is working on. Interesting pieces inclulde explicit type annotations for temporaries, and no more use of the jsr and ret instructions. Anyone who has tried to do a data flow analysis of java bytecode will especially appreciate the deprecation of jsr and ret.
Posted on November 5, 2005 10:37 AM
More languages articles