Comprobaciones de tipos de expresiones

Presentación

Lic.Ing. en Desarrollo y Tecnología de Software

Facultad de Contaduría y Administración, CI

Universidad Autónoma de Chiapas

Compiladores

Comprobaciones de tipos en expresiones

06/10/18

COMPROBACIONES DE TIPOS EN EXPRESIONES

01

Consiste en conferir a las construcciones sintácticas del lenguaje la semántica detipificación y en realizar todo tipo de comprobaciones. Por su naturaleza sin embargo ésta se encuentra repartida entre la fase de análisis semántico y lageneración de código intermedio.

Las comprobaciones dinámicas son aquellas que no se realizan durante la fase de compilación y se delegan al momento de la ejecución del programa. Ello requiere generar código ejecutable específicamente diseñado para realizar tales comprobaciones. Los lenguajes con una carga excesiva de comprobaciones dinámicas generan programas más largos, lentos e inseguros en ejecución.

Comprobaciones Dinámicas

Las comprobaciones estáticas recogen el compendio de todas aquellas tareas de carácter semántico que, por su naturaleza, pueden ser realizadas directamente durante la fase de compilación mediante el uso de los artefactos y mecanismos propios de dicha fase. Este tipo de comprobaciones son beneficiosas puesto que confieren seguridad a la ejecución del programa.

Comprobaciones Estáticas

Verifica: () Compatibilidad entre un operador y sus operandos. () Flujo de control sea correcto. () Duplicidad de nombres cuando esto sea prohibido.

En lenguajes sin tipificación de variables o con sobrecarga se aplican tareas de inferencia de tipos en el nivel gramatical de las expresiones para resovler el tipo de datos de la expresión resultante en función del contexto de evaluación.

Inferencia de tipos

Comprueba la compatibildad de tipos de todas las expresiones del código fuente recuperando la información durante la gestión de declaraciones. Además se asegura de que no existe en el programa ninguna referencia a ningún símbolo no declarado.

Verificación de tipos

Es una colecciòn de reglas para asignar expresiones de tipo a diferentes partes deun programa.

Sistema de Tipos

• Sobrecarga de operadores: el operador cambia su significado dependiendodel contexto.
• Coacciòn de tipos: el lenguaje brinda un operador que modifica el tipo de suoperando.
• Funciones polimòrficas: realizan un mismo procesamiento sobre elementosde d istintos tipos.

Verificación de tipos

Una expresiòn de tipo se puede representarmediante un grafoExpresiones de tipo

• Tipos básicos

• Arreglos
• Productos
• Registros
• Punteros
• Funciones

Definiciòn:

• Un tipo bàsico es una expresiòn de tipo.
• Un nombre de tipo es una expresiòn de tipo.

Sirven para tipar construcciones del lenguaje que tienen tipo construido.

Expresiones de Tipo

Referencias

En conclusión, las comprobaciones de tipos en expresiones son fundamentales para garantizar la integridad y consistencia de los datos en un programa. Al aplicar comprobaciones de tipos, se fortalece la robustez del código al detectar errores potenciales durante la fase de desarrollo, evitando así fallos inesperados durante la ejecución. Además, estas comprobaciones promueven la claridad y la legibilidad del código, facilitando su mantenimiento y colaboración entre desarrolladores. En resumen, integrar comprobaciones de tipos en expresiones es una práctica esencial para mejorar la calidad y confiabilidad del software.

Conclusión

ANEXOS

¡Gracias!

¿Tienes una idea?

Usa este espacio para añadir una interactividad genial. Incluye texto, imágenes, vídeos, tablas, PDFs… ¡incluso preguntas interactivas! Tip premium: Obten información de cómo interacciona tu audiencia:

• Visita las preferencias de Analytics;
• Activa el seguimiento de usuarios;
• ¡Que fluya la comunicación!

¿Tienes una idea?

Usa este espacio para añadir una interactividad genial. Incluye texto, imágenes, vídeos, tablas, PDFs… ¡incluso preguntas interactivas! Tip premium: Obten información de cómo interacciona tu audiencia:

• Visita las preferencias de Analytics;
• Activa el seguimiento de usuarios;
• ¡Que fluya la comunicación!

¿Tienes una idea?

Usa este espacio para añadir una interactividad genial. Incluye texto, imágenes, vídeos, tablas, PDFs… ¡incluso preguntas interactivas! Tip premium: Obten información de cómo interacciona tu audiencia:

• Visita las preferencias de Analytics;
• Activa el seguimiento de usuarios;
• ¡Que fluya la comunicación!

¿Tienes una idea?

Usa este espacio para añadir una interactividad genial. Incluye texto, imágenes, vídeos, tablas, PDFs… ¡incluso preguntas interactivas! Tip premium: Obten información de cómo interacciona tu audiencia:

• Visita las preferencias de Analytics;
• Activa el seguimiento de usuarios;
• ¡Que fluya la comunicación!

¿Tienes una idea?

Usa este espacio para añadir una interactividad genial. Incluye texto, imágenes, vídeos, tablas, PDFs… ¡incluso preguntas interactivas! Tip premium: Obten información de cómo interacciona tu audiencia:

• Visita las preferencias de Analytics;
• Activa el seguimiento de usuarios;
• ¡Que fluya la comunicación!

¿Tienes una idea?

Usa este espacio para añadir una interactividad genial. Incluye texto, imágenes, vídeos, tablas, PDFs… ¡incluso preguntas interactivas! Tip premium: Obten información de cómo interacciona tu audiencia:

• Visita las preferencias de Analytics;
• Activa el seguimiento de usuarios;
• ¡Que fluya la comunicación!

Compiladores

• Alumna: Adelene Sarai Ramírez Sánchez

• Maestro: Luis Gutiérrez Alfaro

• Semestre: 6° M