VERIFICACIÓN DE TIPOS EN EXPRESIONES

FUNDAMENTOS TEÓRICOS

• La verificación de los tipos de datos se ha asignando el valor de tipo de cada una de los componentes léxicos. Estos valores se comparan para verificar que los tipos de datos coincidan y sean Congruentes, de lo contrario no se pueden realizar los cálculos.

BIBLIOGRAFÍA

Kenneth C. Louden "Construccion de compiladores principios y prácticas"
Thomson Editores 2004 pag. 260


APORTACIÓN

Un verificador de tipos es un analizador semántico que calcula el atributo de tipo de datos de todas las entidades del lenguaje para las cuales están definidos los tipos de datos y verifica que estos tipos cumplan con las reglas de tipo del lenguaje
Dependiendo del tipo que sea el dato se van comprobando los datos para ir verificando y asignándole el valor de cada tipo, asi mismo va comparando cada dato y checa que el dato sea correcto para que pueda realizar sus distintas funciones. Y si no son compatibles genera un error