Paso de la compilación que añade información semántica al árbol del análisis y realiza comprobaciones basadas en esa información. Se sitúa entre la creación del árbol del análisis y la generación del código ejecutable. También es posible realizar algún tipo de optimización de código. Entre la información semántica tratada están los nombres y las definiciones (firmas) de las funciones.
Análisis del significado del texto. Permite identificar los conceptos en los documentos y su importancia relativa al tema del documento. Su empleo es la base para la realización de búsquedas más ajustadas al área de conocimiento en la que se trabaja.
