An hypothetical general-purpose programming language which,when the virtual machine defined by this language is implemented on many computers, would allow programs to be moved easily from computer to computer.

• 一种虚拟的通用程序设计语言，当这种语言所规定的虚拟机在不同机种上实现时，它可以把程序方便地移植到不同计算机上。