Java Virtual Machine (JVM)
-
K Virtual Machine (KVM)
-
The K virtual machine (KVM) is an entirely new JavaTM runtime environment that was
built from the ground up to make an extremely lean implementation of the Java virtual
machine for use in devices that have a small memory footprint. The KVM is the core of
the Java 2 Micro Edition (J2ME). J2ME is a new edition of the Java 2 platform targeted
at consumer electronics and embedded devices. So named because its size is measured in
the tens of kilobytes, the KVM is suitable for 16/32-bit RISC/CISC microcontrollers with
a total memory of no more than a few hundred of kilobytes and sometimes less than
128Kbytes of RAM. This typically applies to digital cellular phones, pagers, mainstream
personal digital assistants, low-end analog set-top boxes, and small retail payment terminals.
-
Welcome to the Spotless System Page
-
The Spotless system is an experimental Java system for the Palm Connected Organizer. It
includes a JVM that supports the complete bytecode set and dynamic class loading, and
class libraries and demo applications. It is the result of a Sun Microsystems Laboratories
research project exploring the construction of small JVMs. It is not a supported product.
It is not a complete implementation of the Java programming language; it does not support
the standard class libraries, and it does not pass the JCK compliance tests.
Although KVM technology is derived
from this system, this system is not compatible with the KVM, and should not be used in
conjunction with the KVM.
-
The JavaTM Virtual Machine Specification by Tim Lindholm and Frank Yellin (Second Edition)
-
The Java Virtual Machine is the cornerstone of Sun's Java programming language.
It is the component of the Java technology responsible for Java's cross-platform
delivery, the small size of its compiled code, and Java's ability to protect users
from malicious programs.
The Java Virtual Machine is an abstract computing machine. Like a real computing
machine, it has an instruction set and uses various memory areas. It is reasonably
common to implement a programming language using a virtual machine; the best-known
virtual machine may be the P-Code machine of UCSD Pascal.
(Get the book!)
-
Java Card 2.0 Language Subset and Virtual Machine Specification
-
Describes the language-subset of the Java Card
technology and the Java Card Virtual Machine (for example, data
type support, bytecode subset).
-
Devensive Java Virtual Maschine Version 0.5 alpha Release (May 13, 1997)
-
Over the last several months Computational Logic, Inc. (CLI) in
collaboration with Schlumberger
Electronic Transactions and JavaSoft
has been building a formal model of a subset of the Java Virtual Machine
(JVM). The model has been built using ACL2, a mathematical logic
based on Common Lisp. The result can serve as the basis for
rigorous, formal analysis of the JVM and JVM (bytecode) programs. Because
models written in ACL2 can be executed, the formal JVM
model can run programs within the subset of the JVM supported.
[ Top ] [ Home ]
created ~Jun/1998 -- last updated: 01/02/2004 --
http://www.pochendorfer.com/macchiato/jvm.html