Detalhamente do Dis


Representação independente de arquitetura do código 
    executável
Paradoxo da máquina virtual:
Desempenho vs. generalidade

Conjunto de instruções segue o exemplo de processadores CISC.
Rapidez na tradução para linguagem de máquina
Compilador `just-in-time' (JIT) é pequeno

Instruções com 3 operandos
OP  src1,  src2,  dst

Instrução da memória virtual para carregar módulos
Ponteiro para tabela de métodos do módulo
Liberado pela coleta de lixo
Checagem de tipo durante execução via assinatura MD5