Re: [VM] Bytecode Subroutine Verification

2006-07-31 Thread Tom Tromey
> "Pavel" == Pavel Rebriy <[EMAIL PROTECTED]> writes: Pavel> There are several virtual machines in Harmony project and none Pavel> of them provides subroutine verification for Java bytecode. I Pavel> would like to discuss appropriate methodology of subroutine Pavel> verification. Pavel> The q

[VM] Bytecode Subroutine Verification

2006-07-24 Thread Pavel Rebriy
There are several virtual machines in Harmony project and none of them provides subroutine verification for Java bytecode. I would like to discuss appropriate methodology of subroutine verification. In Java bytecode, subroutines represent code in "finally" construction. The use of such subroutine