A menudo se puede lograr que el código directamente producido por los algoritmos de compilación se ejecute más rápidamente o que ocupe menos espacio, o ambas cosas. Esta mejora se consigue mediante transformaciones de programas que tradicionalmente se denominan “optimaciones”.
Los compiladores que aplican transformaciones para mejorar el código se denominan compiladores optimizadores.
En la práctica, los lazos internos del programa son buenos candidatos para realizar mejoras.