Um compilador cuja saída é uma representação de nível intermediário, independente de máquina de um programa. Um compilador de raiz, quando combinado com um gerador de código, compreende um compilador completo.