Un compilador cuya salida es una representación máquina independiente, nivel intermedio de un programa. Consta de un compilador de raíz, cuando se combina con un generador de código, un compilador completo.