INVESTIGACION ANALISIS SEMANTICO

Decisiones para la construcción de un analizador semántico

Análisis semántico con Bison
Nivel de indirección en ALFA
Comprobaciones semánticas de la declaración y unicidad de los identificadores
Descripción general
Inserción en la tabla de símbolos y unicidad
Comprobación de declaración previa al uso
Comprobaciones semánticas en las expresiones aritméticas
Comprobación de tipos
Comprobación de niveles de indirección
Comprobaciones semánticas en las expresiones lógicas
Comprobación de tipos
Comprobación de niveles de indirección
Comprobaciones semánticas en las expresiones de comparación
Comprobación de tipos
Comprobación de niveles de indirección
Comprobaciones semánticas en sentencias de asignación
Comprobación de tipos
Comprobación de niveles de indirección
Comprobaciones semánticas relativas a punteros
Reserva y liberación de memoria
Acceso al contenido apuntado
Comprobaciones semánticas para la clase VECTOR
Comprobación del tamaño
Comprobaciones en el indexado de vectores de una dimensión
Comprobaciones para vectores de dos dimensiones
Comprobaciones semánticas para las condiciones
Comprobaciones para sentencias de entrada/salida
Otras comprobaciones semánticas
Definición del tipo semántico
Ejemplo de uso del tipo semántico para la comprobación de tipos

Etapa de síntesis
Fase de generación de código intermedio
Fase de optimización de código
Fase de generación de código máquina