Acciones Semanticas
ACCIONES SEMANTICAS
El análisis semántico es el proceso de
relacionar estructuras sintácticas, desde los niveles de frases, cláusulas,
oraciones y párrafos hasta el nivel de la escritura como un todo, hasta sus
significados independientes del lenguaje. El análisis semántico utiliza como
entrada el árbol sintáctico detectado por el análisis sintáctico para comprobar
restricciones de tipo y otras limitaciones semánticas y preparar la generación
de código.
FUNCIONES PRINCIPALES
Realizar distintas comprobaciones y
validaciones:
·
Comprobaciones de tipos.
·
Comprobaciones del flujo de
control.
·
Comprobaciones de unicidad.
·
Comprobaciones de emparejamiento.
El
Analizador Semántico finaliza
la fase de
Análisis del compilador
y comienza la
fase de Síntesis, en la cual se
comienza a generar el código objeto.
La especificación de la semántica puede
realizarse de dos formas:
·
Lenguaje natural
·
Especificación formal: Semántica Operacional,
semántica denotacional, semántica Axiomática, Gramáticas con
Atributos.
ACCIONES SEMÁNTICAS
Dependiendo
del tipo de
sentencias, las acciones semánticas pueden agruparse en:
·
Sentencias de
Declaración: Completar la
sección de tipos
de la Tabla
de Símbolos.
·
Sentencias “ejecutables”: Realizar comprobaciones de
tipos entre los operandos implicados.
·
Funciones y
procedimientos: Comprobar el
número, orden y
tipo de los parámetros actuales en cada llamada a una
función o procedimiento.
·
Identificación de
variables: Comprobar si un
identificador ha sido
declarado antes de utilizarlo.
·
Etiquetas: Comprobar si
hay etiquetas repetidas
y validación.
·
Constantes: Comprobar que no se
utilicen en la parte izquierda de una asignación
·
Conversiones y equivalencias de
tipo: Verificación.
· Sobrecarga de operadores y funciones: Detectar y solventar
REFERENCIAS:
Comentarios
Publicar un comentario