Análisis semántico

Análisis semántico o comprobador de tipos

Análisis semántico
Análisis semántico
Comprobación estática y dinámica de tipos
Análisis semántico o comprobador de tipos
El diseño de un comprobador de tipos para un lenguaje se basa en
información acerca de las construcciones sintácticas del lenguaje, la
noción de tipos y las reglas para asignar tipos a las construcciones
del lenguaje.

El siguiente extracto es un ejemplo de la información con la que el

diseñador de un compilador podría verse obligado a comenzar:

• Si ambos operandos de los operadores aritméticos de suma,

resta, y multiplicación son de tpo entero, entonces el resultado es
de tipo entero (en Pascal).
Tipos básicos
Expresiones de tipo

El tipo de una construcción de un lenguaje se denotará mediante una

“expresión de tipos”.

De manera informal, una expresión de tipo es, o bien un tipo básico o se

forma aplicando un operador llamado constructor de tipo a otras
expresiones de tipos.

Los conjuntos de tipos dependen del lenguaje que debe comprobarse.

 Expresiones de tipo
1. Un tipo básico es una expresión
de tipo. Entre los tipos básicos se
encuentran boolean, char,
integer y real.
2. Como se puede dar nombre a las
expresiones de tipo, el nombre
de un tipo es una expresión de
tipo.
3. Un constructor de tipo aplicado a
expresiones de tipos es una
expresión de tipos:
Sistema de tipos
Sistema de tipos
Recuperación de errores
Conversiones
de tipo
Coerciones
Sobrecarga
de
funciones y
operadores
Variables de tipo
Referencia

• Compiladores: Principios, técnicas y herramientas

Capítulo 6
Aho, Ullman y Sethi
1ra Edición
Addison Wesley