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.
