ANLISIS SEMNTICO El anlisis semntico dota de un significado coherente a lo que hemos hecho en el anlisis sintctico.

El chequeo semntico se encarga de que los tipos que intervienen en las expresiones sean compatibles o que los parmetros reales de una funcin sean coherentes con los parmetros formales FUNCIONES PRINCIPALES Identificar cada tipo de instruccin y sus componentes Completar la Tabla de Smbolos Realizar distintas comprobaciones y validaciones: Comprobaciones de tipos. Comprobaciones del flujo de control. Comprobaciones de unicidad. Comprobaciones de emparejamiento. El Analizador Semntico finaliza la fase de Anlisis del compilador y comienza la fase de Sntesis, en la cual se comienza a generar el cdigo objeto. La especificacin de la semntica puede realizarse de dos formas: Lenguaje natural Especificacin formal: Semntica Operacional, semntica denotacional, semntica Axiomtica, Gramticas con Atributos. ACCIONES SEMNTICAS Dependiendo del tipo de sentencias, las acciones semnticas pueden agruparse en: Sentencias de Declaracin: Completar la seccin de tipos de la Tabla de Smbolos. Sentencias operandos implicados. Funciones y procedimientos: Comprobar el nmero, orden y tipo de los ejecutables: Realizar comprobaciones de tipos entre los

parmetros actuales en cada llamada procedimiento.Universidad Nacional del Santa de Compiladores Docente: Ing. Mirko Manrique Ronceros ~ 2 ~

una

funcin o Curso: Teora

Identificacin de variables: Comprobar si un identificador ha sido declarado antes de utilizarlo. Etiquetas: Comprobar si hay etiquetas repetidas y validacin. Constantes: Comprobar que no se utilicen en la parte izquierda de una asignacin. Conversiones y equivalencias de tipo: Verificacin. Sobrecarga de operadores y funciones: Detectar y solventar.