Java Virtual Machine
simple stack-oriented machine
device-independent bytecodes
interpreted, or just-in-time compiled
IEEE 754 arithmetic (SPARC-like)
array bounds checking required
memory manager, garbage collection
sandbox security model for applets