No contexto da programação de computadores, algumas linguagens modernas oferecem um grande atrativo tecnológico, baseado na figura e nas características listadas a seguir.

- Portabilidade do código gerado, obtida por meio do uso de um código intermediário entre o código-fonte, o texto que o programador consegue manipular e o código de máquina que o computador consegue executar.

- O código intermediário é interpretado por uma máquina virtual, existente em diversas plataformas.

- A portabilidade do código é obtida à medida que máquinas virtuais estão disponíveis para diferentes plataformas.

- O código que foi compilado em uma máquina pode ser executado em qualquer máquina virtual, independentemente de qual seja o sistema operacional ou o processador que executa o código.

Esse código intermediário é conhecido por: