欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Jikes RVM
来自开放百科 - 灰狐
（版本间的差异）
(以内容'{{top news}} {{SeeWikipedia}} Jikes RVM (Jikes Research Virtual Machine) 是一个开源的Java虚拟机实现, 和其它的JVM不同，它...'创建新页面) |
小 |
||
| （未显示1个用户的1个中间版本） | |||
| 第1行： | 第1行： | ||
| − | |||
{{SeeWikipedia}} | {{SeeWikipedia}} | ||
Jikes RVM (Jikes Research Virtual Machine) 是一个开源的[[Java]]虚拟机实现, 和其它的[[Java Virtual Machine|JVM]]不同，它采用Java语言开发。 | Jikes RVM (Jikes Research Virtual Machine) 是一个开源的[[Java]]虚拟机实现, 和其它的[[Java Virtual Machine|JVM]]不同，它采用Java语言开发。 | ||
| + | |||
| + | ==简介== | ||
| + | |||
| + | ==功能== | ||
| + | |||
| + | ==指南== | ||
| + | |||
| + | ==文档== | ||
| + | |||
| + | ==图集== | ||
==链接== | ==链接== | ||
| − | *[ | + | *[https://www.jikesrvm.org/ Jikes RVM官方网站] |
| + | *[http://docs.huihoo.com/javadoc/jikesrvm/Jikes RVM Javadoc] | ||
| − | [[ | + | [[category:java]] |
| − | [[ | + | [[category:JVM]] |
2018年10月16日 (二) 03:23的最后版本
|
您可以在Wikipedia上了解到此条目的英文信息 Jikes RVM Thanks, Wikipedia. |
Jikes RVM (Jikes Research Virtual Machine) 是一个开源的Java虚拟机实现, 和其它的JVM不同，它采用Java语言开发。
目录 |
[编辑] 简介
[编辑] 功能
[编辑] 指南
[编辑] 文档
[编辑] 图集
[编辑] 链接
分享您的观点
