Un lenguaje intermedio es un lenguaje de programación abstracto utilizado por un compilador como un paso intermedio al traducir un programa de computadora a un código de máquina. Antes de compilar el programa en código para una máquina física real, el compilador primero lo traduce en código intermedio adecuado para una máquina abstracta teórica. Este código es analizado por el compilador, y si se identifica alguna oportunidad de optimización, el compilador puede realizar las optimizaciones al realizar la traducción al lenguaje ensamblador.

Compilador, Código máquina, Optimización, Términos de programación.