[rvm-research] Jikes RVM and Java Runtime library
Pascal Kesseli <[email protected]>
| Newsgroups | gmane.comp.java.jikes.rvm.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi everyone, I'm a DPhil freshman at Oxford University and have joined the Software Verification group there. We're trying to extend our bounded model checker CBMC by a Java frontend. Obviously there are a lot of things to be considered before this can work, and one of those would be how to model native operations in the Java Runtime library. An obvious choice would be to model them using JNI and the JDK source code. However, I was wondering whether the Jikes research VM could provide a different approach. Does Jikes feature Java implementations of all these operations? It said in the FAQ that uses GNU classpath, which seemed to be a clear no to me, but I wanted to shout out this post just to get feedback from you guys as well. Thanks, Pascal ------------------------------------------------------------------------------ Subversion Kills Productivity. Get off Subversion & Make the Move to Perforce. With Perforce, you get hassle-free workflows. Merge that actually works. Faster operations. Version large binaries. Built-in WAN optimization and the freedom to use Git, Perforce or both. Make the move to Perforce. http://pubads.g.doubleclick.net/gampad/clk?id=122218951&iu=/4140/ostg.clktrk _______________________________________________ Jikesrvm-researchers mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/jikesrvm-researchers