Precisely, we define a subset of Java virtual machine language ( JVML ), present a type system and an operational semantics for the subset, and prove the soundness of the type system with respect to the operational semantics. 具体地,本文定义了Java虚拟机语言(JVML)(JVML)的一个子集,给出了该子集的类型系统和操作语义,并根据操作语义证明了该类型系统的可靠性。
Inferno logically mirrors Java by including a virtual machine, programming language, and communications protocol. Inferno包含了虚拟机、编程语言和通信协议,故在逻辑上是Java的镜像。
Thrown if the Java Virtual Machine cannot find an appropriate native language definition of a method declared native. 对于声明为native的方法,如果Java虚拟机找不到和它对应的本机语言定义,就会抛出该异常。
The Java Card Virtual Machine is the interface between Java language and smart card. It is very important for the development of IC card to exploit smart card supporting Java language. Java卡虚拟机是Java语言与智能卡之间的接口,开发支持Java语言的智能卡对IC卡的发展十分重要。
It was not that long ago when running your programs on the Java Virtual Machine ( JVM ) meant writing your program using the Java programming language. 不久前,要想在JavaVirtualMachine(JVM)上运行程序,还需要使用Java编程语言来编写程序。