Introducción
Es un conjunto de rutinas independientes, llamadas por los analizadores morfologico y sintactico
¿Que es analisis semantico?
Analisis Lexico y Analisis Sintactico
¿Cuales son las fases previas al analisis semantico?
Las especificaciones semánticas de un lenguaje pueden hacerse de manera informal o formal.
¿Como se especifica el analisis semantico?
Comprobaciones de tipos.
Comprobaciones del flujo de control.
Comprobaciones de unicidad.
Comprobaciones de emparejamiento.
¿Cuales son las distintas comprobaciones y validaciones que realiza el analizador semantico?
El tipo de ámbito.
Compilación separada: ficheros con tablas.
Procedimientos, bloques, herencia, módulos, espacios de nombres, registros, with.
¿Como es la estructura logica de la tabla de simbolos?
Utiliza como entrada el arbol sintactico, detectado por el analisis sintactico para comprobar restricciones de tipo.
¿Que utiliza como entrada el analisis semantico?
Dinamica y Estatica
¿Cual es la clasificacion de la Semantica?
Especifica las operaciones que son válidas para cada tipo.
¿Que especifica un sistema de tipos de un lenguaje?
Comienza la fase de Síntesis, en la cual se comienza a generar el código objeto.
¿Que realiza el compilador despues de terminar la fase de analisis?
Son expresiones de tipos los tipos simples del lenguaje.
¿Que son las expresiones de tipo simples?
Una pila que contiene la informacion semántica asociada a los operandos (y a veces a los operadores) en forma de registros semánticos
¿Que usan las rutinas semanticas?
Hace referencia a aspectos que sólo pueden ser conocidos en tiempo de ejecución.
¿Que es la clasificacion DINAMICA?
Asegurar que las operaciones se utilizan con los tipos correctos.
¿Cual es la meta de verificacion de tipos?
Permiten formar tipos complejos a partir de otros más simples. La semántica de cada lenguaje tiene asociada unos constructores de tipos propios.
¿Que son los Constructores de tipos?
¿Cuales son los tipos especiales?
El análisis semántico se realiza independientemente de la generación de código, pasándose información a través de un archivo intermedio, que normalmente contiene información sobre el árbol sintáctico en forma linealizada.
¿Que realiza el compilador de dos o mas pasos?
Hace referencia a aspectos que pueden ser controlados en tiempo de compilación.
¿Que es la clasificacion ESTATICA?
Procesar las declaraciones y mantener una tabla de símbolos.
Almacenar el tipo de cada identificador en la tabla de símbolos.
Cuales son los aspectos a considerar en la verificación de tipos de un compilador ?
Se calcula mediante una regla semántica asociada a la producción utilizada en el nodo.
¿Como se calcula el valor de un atributo en un arbol sintactico?
Pueden contener variables cuyos valores son expresiones de tipos.
¿Que contienen las expresiones de tipo?
Para detectar errores que no pueden detectarse en las fases anteriores.
¿Por que se deben realizar analisis semantico?
Análisis de los nombres de variable y de su alcance.
Control o chequeo de tipos.
Chequeo de flujos de control, debido a la existencia de sentencias que alteran el flujo normal de ejecución (la secuencia).
¿Que aspectos se controlan en tiempo de ejecucion?
Para este tipo de verificación se utiliza una clase de definiciones dirigidas por la sintaxis.
Que son las definiciones de L-atributos ?
Tiene asociado un conjunto de atributos.
¿Con que se asocia un simbolo gramatical en el analisis semantico?
1. Asignación de tipos: En las declaraciones.
2. Evaluación y comprobación de tipos: En las expresiones y en las funciones, así como en las sentencias.