Tema 5.2.-Verificación de tipos en expresiones

Fundamento teórico

Un componente importante del análisis semántico es la verificación de tipos. Aquí, el compilador verifica si cada operador tiene operandos permitidos por la especificación del lenguaje fuente. Sin embargo, la especificación del lenguaje puede imponer restricciones a los operandos, Revisa que los arreglos tengan definido el tamaño correcto.

Bibliografía

Wikipedia, La Enciclopedia Libre. (2010).”Compilador”

            Recuperado el 22/10/2010

http://es.wikipedia.org/wiki/Compilador

Aportación escrita por el alumno:

Raúl San Juan Saavedra        

            En esta etapa el compilador revisa los operadores con los que cuenta el sistema para verificar si tiene instrucciones permitidas por el mismo, es decir, si encuentra algún signo que no permita usarse por el compilador este puede mandar un mensaje de error al querer utilizarlo.