Análisis semántico (compiladores) - Semantic analysis (compilers)

El análisis semántico o análisis sensible al contexto es un proceso en la construcción del compilador , generalmente después del análisis sintáctico , para recopilar la información semántica necesaria del código fuente . Por lo general, incluye verificación de tipos , o se asegura de que se declare una variable antes de su uso, lo que es imposible de describir en la forma extendida de Backus-Naur y, por lo tanto, no se detecta fácilmente durante el análisis.

Ver también

• Gramática de atributos
• Lenguaje sensible al contexto
• Análisis semántico (informática)

Referencias

${\ Displaystyle \ Gamma \ vdash x: {\ text {Int}}}$

Este artículo relacionado con la teoría del lenguaje de programación o la teoría de tipos es un fragmento . Puedes ayudar a Wikipedia expandiéndolo .

• v
• t
• mi