Comprobaciones de tipos en expresiones.

Comprobaciones de tipos en expresiones.

FACULTAD DE CONTADURÍA Y ADMINISTRACIÓN CAMPUS 1 ING. EN DESARROLLO Y TECNOLOGÍAS DE SOFTWARE 6 “M” Protocolos De Enrutamiento ALUMNO: Luis Antonio Castro Gutiérrez Matricula: A211125 DOCENTE: MARIANA PAOLA GONZALEZ SORIA TUXTLA GUTIÉRREZ, CHIAPAS Viernes, 03 DE NOVIEMBRE DE 2023

Resumen

Las comprobaciones de tipos en expresiones son esenciales en programación para garantizar que los datos manipulados sean del tipo correcto, evitando errores como la concatenación de tipos incompatibles o operaciones matemáticas inválidas. Estas prácticas son cruciales para crear software robusto y confiable, ya que ayudan a prevenir problemas y asegurar el comportamiento esperado del programa.

ÍNDICE

[Subtítulo 0X]

01.

Comprobaciones estáticas

03.

Conclusiones

1.1.

características

04.

Cierre

05.

02.

Bibliografía

Comprobaciones dinámicas Y sus características

2.1.

Verificación de tipos

2.2.

Inferencia de tipos

Comprobaciones estáticas

Las verificaciones estáticas abarcan todas las acciones de índole semántica que, por su naturaleza, pueden llevarse a cabo directamente durante la etapa de compilación, haciendo uso de los recursos y procedimientos inherentes a dicha fase. Estas comprobaciones son ventajosas porque aportan una capa de seguridad a la ejecución del programa. Se distinguen de las comprobaciones dinámicas realizadas en tiempo de ejecución y ejemplos de ellas incluyen la validación de tipos, el control de flujo y la garantía de unicidad en el código.

Características

• Verificación durante la compilación: Las comprobaciones estáticas identifican errores antes de la ejecución, permitiendo su corrección antes de que afecten el funcionamiento del programa.

• Eficiencia: Al realizarse durante la compilación, las comprobaciones estáticas no añaden costos de rendimiento durante la ejecución del programa, lo que asegura un funcionamiento eficiente.

• Prevención de errores: Detectan y corrigen problemas como asignaciones de tipos incorrectos o variables no inicializadas antes de la ejecución, reduciendo la posibilidad de fallos y mejorando la estabilidad del software.

• Mejora la legibilidad del código: Al establecer reglas consistentes, las comprobaciones estáticas aseguran un estilo uniforme en el código, facilitando su comprensión para los programadores y mejorando la claridad del programa.

• Facilita el mantenimiento del código: Identifican y corrigen errores durante la compilación, simplificando el mantenimiento y reduciendo la necesidad de correcciones posteriores, lo que mejora la estabilidad a largo plazo del software.

Comprobaciones dinámicas

Las comprobaciones dinámicas son procesos que no ocurren durante la etapa de compilación del programa, sino que se llevan a cabo en tiempo de ejecución. Esto implica la necesidad de crear código ejecutable especializado para realizar estas verificaciones. En los lenguajes que dependen en exceso de comprobaciones dinámicas, los programas resultantes tienden a ser más extensos, lentos y menos seguros durante su ejecución.

Características

• Las comprobaciones dinámicas ocurren durante la ejecución del programa, no en la fase de compilación.

• Se delegan al momento de la ejecución y requieren código ejecutable específico para realizar las comprobaciones.

• Lenguajes con muchas comprobaciones dinámicas pueden generar programas más largos, lentos y menos seguros en ejecución.

Verificación de Tipos

Data

Recupera información durante la gestión de declaraciones para asegurar que las expresiones sean del tipo correcto.

Data

También se asegura de que no haya referencias a símbolos no declarados en el programa.

Data

La verificación de tipos comprueba la compatibilidad de tipos en todas las expresiones del código fuente.

Inferencia de Tipos

Data

Las tareas de inferencia de tipos se aplican en el nivel gramatical de las expresiones.

Data

Resuelve el tipo de datos de la expresión resultante según el contexto de evaluación, permitiendo flexibilidad en la declaración de variables.

Data

En lenguajes sin tipificación de variables o con sobrecarga, se utiliza la inferencia de tipos.

Conclusiones

En resumen, encontrar un equilibrio adecuado entre las comprobaciones estáticas y dinámicas es crucial en el desarrollo de software. Las comprobaciones estáticas ofrecen eficiencia y prevención temprana de errores, mejorando la legibilidad y facilitando el mantenimiento del código. Por otro lado, las comprobaciones dinámicas brindan flexibilidad y detección de errores en situaciones dinámicas, aunque pueden aumentar la complejidad y reducir el rendimiento del programa. Al utilizar ambas técnicas de manera estratégica, podemos desarrollar software robusto, seguro y eficiente que cumple con las expectativas de funcionalidad y confiabilidad.

Bibliografía

• Comprobación DE Tipos DE Expresiones. (s/f). Studocu. Recuperado el 4 de noviembre de 2023, de https://www.studocu.com/es-mx/document/tecnologico-de-estudios-superiores-del-oriente-del-estado-de-mexico/introduccion-a-las-tecnologias-de-la-informacion-y-comunicacion/comprobacion-de-tipos-de-expresiones/17895078 • De expresiones, A. (s/f). Unidad I: Análisis semántico. Itpn.mx. Recuperado el 4 de noviembre de 2023, de http://itpn.mx/recursosisc/7semestre/leguajesyautomatas2/Unidad%20I.pdf • INGENIERIA EN SISTEMAS COMPUTACIONALES. (s/f). Slideplayer.es. Recuperado el 4 de noviembre de 2023, de https://slideplayer.es/slide/3579366/