A draft of version 3 of jvms was published here:
http://blogs.sun.com/abuckley/entry/draft_of_the_java_vm
see section 4.10.
Rémi
Le 30/08/2010 12:03, iulian dragos a écrit :
Hello all,
The title says it all: I am trying to download the specification of
the new verification algorithm found in JVM 1.6. I remember I could
download it as pdf some time ago, but I cannot get it anymore. Here's
what I tried:
Proposed changes to the JVM
<http://java.sun.com/docs/books/jvms/second_edition/jvms-proposed-changes.html> -
outdated. Says JSR 202 but in fact links to JSR 924, which has no
downloadable content. I manually tried
JSR 202 <http://jcp.org/en/jsr/detail?id=202> - the download link
doesn't work because 'Your download transaction cannot be approved.
Contact Customer Service
<https://www.sun.com/secure/contact/feedback/sdlc.jsp>.'. This was the
place I downloaded it last time, before Sun was bought by Oracle.
Searched all over the Oracle Java website, no success.
Anybody can help me?
thanks,
iulian
PS. More concretely, I would like to know how the verifier checks
interface calls. IIRC, the data-flow verifier allowed all interface
calls to go through, even though the static type of the receiver may
not implement that interface. Is it still the case?
--
« Je déteste la montagne, ça cache le paysage »
Alphonse Allais
--
You received this message because you are subscribed to the Google
Groups "JVM Languages" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/jvm-languages?hl=en.
--
You received this message because you are subscribed to the Google Groups "JVM
Languages" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/jvm-languages?hl=en.
