Se encarga de detectar errores en la ejecución del programa analizando su flujo de control en tiempo de ejecución.

Examina el código fuente sin ejecutarlo para verificar propiedades como tipos de datos, alcance de variables y reglas semánticas del lenguaje.

Es un proceso que traduce el código fuente directamente a código máquina sin verificar errores semánticos.

Evalúa expresiones y ejecuta partes del código en tiempo de compilación para optimizar su ejecución.