Cultura corporativa

Análisis Semántico

































Preparado por:
J.A.Román
2002

Índice


1.- INTRODUCCIÓN

2.- SISTEMAS DE TIPOS

3.- ESPECIFICACIÓN DE UN COMPROBADOR DE TIPOS ELEMENTAL.

4.- EQUIVALENCIA DE EXPRESIONES DE TIPO.


4.-1 Equivalencia estructural


4.-2 Equivalencia por nombre

4.3.-Conversiones de tipos


1- INTRODUCCIÓNUn compilador debe verificar que el programa fuente sigue las convenciones semánticas durante el tiempo de compilación. Esta comprobación que se denomina estática en contraposición con la dinámica que se realizaría durante la ejecución, asegura que ciertos tipos de errores pueden ser detectados.

Comprobaciones estáticas son :
• Comprobación de tipos: indicará error si un operador seaplica a un operando incompatible. Ejemplo: sumar una variable de tipo vector con unidentificador función. Este capítulo se centrará en esta comprobación.
• Comprobación del control de flujo: Las sentencias que producen la variación de flujo deben verificar hacia donde se transfiere el control. Por ejemplo: la sentencia break de C hace que el control abandone el bucle while más interior, o unasentencia switch, aparecería un error si tal bucle no existe.
• Comprobación de unicidad: Existe situaciones en las que un objeto sólo se define una vez. Ejemplo: en las declaraciones un identificador debe ser declarado una sola vez, las etiquetas de la sentencia case deben ser distintas o los elementos de un tipo enumerado no pueden repetirse.
• Comprobación relacionada con nombres:A veces el mismo identificador debe aparecer dos o más veces. Ejemplo en Modula-2 aparece al principio y final de una sentencia, el compilador debe verificar que que el mismo identificador aparece en ambos lugares

En la mayoría de los compiladores de Pascal, el análisis sintáctico, la comprobación de tipos y la traducción a código intermedio se realiza en un solo paso. Sin embargo en Ada, esconveniente realizar la comprobación de tipos en un paso separado.

La comprobación de tipos verifica que los tipos utilizados en un determinado contexto son los apropiados. Ejemplo: el operador MOD de Pascal exige que los dos operandos sean enteros, en las variables d e tipo array se debe verificar que las variables usadas como índices no sean reales.

Dentro de la comprobación de tipos seplantea el problema de la equivalencia entre tipos y la conversión de tipos.

La información recogida para la comprobación de tipos, puede necesitarse para la generación de código. Ejemplo : el operador + se usa como suma pero también como concatenación de cadenas. En este caso es necesario examinar el contexto para generar el código correspondiente.

2.- SISTEMAS DE TIPOS

El tipo de unaconstrucción se asignará una notación formal, que se denominará expresión de tipo.

Un sistema de tipos serán las reglas que permiten asignar expresiones de tipo a partes de un programa. La comprobación de tipos implanta un sistema de tipos.

Una expresión de tipos será:
• Un tipo básico
• El nombre de un tipo (si se le da un nombre a una expresión de tipos)
• Un tipo construidomediante un constructor de tipos, que se aplica a un tipo básico o a otro tipo construido.

Los constructores de tipos son:
• Arrays : si T es una expresión de tipos, entonces array(I,T) es una expresión de tipos que indica el tipo array con los elementos de tipo T e índice I. ( I a menudo es un rango de enteros, entonces la expresión de tipos sería array(1..10,integer).
• Productos: SiT1 y T2 son expresiones de tipos, su producto cartesiano también lo será
• Registros: el tipo de un registro es un producto de los tipos de sus campos. La diferencia con un producto es que los campos tiene nombres. La comprobación de tipos en el caso de registros puede realizarse usando una expresión de tipos formada al aplicar el constructor registro ( record ) al dúo formado por los...