Análisis semantico

TEMA 6

´
´
ANALISIS SEMANTICO

Bibliograf´a:
ı

¯ Aho, A.V., Sethi, R., Ullman, J.D. (1990), Compiladores: principios,
t´ cnicas y herramientas, Tema 5, 6 (pag. 287-400), Tema 7 (pag.
e
443-454).
¯ Louden, K.C. (1997), Compiler Construction: Principles and Practice, Tema 6, p´ ginas: 257-344.
a
Contenido: Duraci´ n: 10 horas
o
1 La fase de an´ lisis sem´ ntico.
a
a
2Especificaci´ n sem´ ntica de un lenguaje:
o
a
2.1 Concepto de atributo, tipos de atributos y tipos de enlace.
2.2 Gram´ ticas de atributos.
a
2.3 Ecuaciones de atributos.
´
2.4 Arbol de an´ lisis sint´ ctico anotado.
a
a
3 M´ todos para la evaluaci´ n de atributos:
e
o
3.1 Basados en grafos de dependencias.
3.2 Basados en reglas.
4 C´ lculo de atributos durante el proceso de an´ lisis sint´ctico.
a
a
a

´
´
6.1. LA FASE DE ANALISIS SEMANTICO

138

5 Teorema de Knuth.
6 La Tabla de S´mbolos:
ı
6.1 Organizaci´ n y mantenimiento de la Tabla de S´mbolos.
o
ı
´
6.2 Reglas de ambito de referencia.
7 Comprobaci´ n de tipos:
o
´
7.1 Representaci´ n de expresiones de tipos mediante arboles.
o
7.2 Equivalencia estructural y por nombre.
8 Inferencia de tipos.
9Errores sem´ nticos.
a
10 Esquemas de traducci´ n dirigidos por la sintaxis.
o

´
´
6.1 LA FASE DE ANALISIS SEMANTICO
En este tema se aborda el problema del c´ lculo de informaci´ n que no
a
o
puede ser descrita por las gram´ ticas independientes del contexto (GIC),
a
y que por tanto, no se considera como parte del an´ lisis sint´ ctico. La
a
a
informaci´ n que se calcula en esta faseest´ relacionada con el significado
o
a
(la sem´ ntica) del programa y no con su estructura (la sint´ xis).
a
a
´
Se asocia informaci´ n a las construcciones del lenguaje de programacion
o
proporcionando atributos a los s´mbolos de la gram´ tica (por ejemplo: el
ı
a
´
valor de una expresi´ n, el tipo de una variable, su ambito, un trozo de
o
´
c´ digo, el n´ mero de argumentos de unafuncion, etc). Los valores de los
o
u
atributos se calculan mediante reglas sem´ nticas asociadas a las produca
ciones gramaticales.
El an´ lisis sem´ ntico incluye:
a
a

¯ La construcci´ n de la Tabla de S´mbolos para llevar un seguimieno
ı
to del significado de los identificadores en el programa (variables,

´
´
TEMA 6. ANALISIS SEMANTICO

139

funciones, tipos, par´ metros ym´ todo de paso de par´ metros en funa
e
a
ciones, etc)

¯ Realizar la comprobaci´ n e inferencia de tipos en expresiones y seno
´
tencias (por ejemplo, que ambos lados de una asignacion tengan tipos
adecuados, que no se declaren variables con el mismo nombre, que los
´
par´ metros de llamada a una funci´ n tengan tipos adecuados, numero
a
o
de par´ metros correcto, )
a
Noscentraremos en el an´ lisis sem´ ntico est´ tico: se realiza en tiempo de
a
a
a
compilaci´ n, no de ejecuci´ n.
o
o
¿ C´ mo vamos a especificar (describir) la estructura sem´ ntica de un
o
a
lenguaje? Mediante gram´ ticas de atributos.
a
´
¿ C´ mo vamos a implementar la estructura semantica de un lenguaje?
o
´
A partir de la construcci´ n del arbol de an´ lisis sint´ ctico, lo recorrereo
aa
´
mos en un determinado orden y calcularemos en cada nodo la informaci on
sem´ ntica necesaria (el valor de una expresi´ n, el tipo de una variable, su
a
o
´
´
ambito de declaraci´ n, el n´ mero de argumentos de una funcion, etc).
o
u
Conceptualmente, se analiza sint´ cticamente la cadena de componentes
a
´
l´ xicos de entrada, se construye el arbol de an´ lisis sint´ ctico ydespu´ s se
e
a
a
e
´
recorre el arbol, en un determinado orden para tener en cuenta las dependencias, para evaluar las reglas sem´ nticas en sus nodos.
a
cadena
de entrada

árbol
análisis
sintáctico

grafo de
dependencias

orden de evaluación
de reglas semánticas

Hay casos especiales que se pueden implantar de una sola pasada evaluando las reglas sem´ nticas durante el...