Comprobaciones en expresiones

Mtro. Luis Gutiérrez Alfaro

6° "M" - Brian Isaac Vázquez Morales

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

Universidad Autónoma de ChiapasFacultad de Contaduría y Administración, CI

Comprobacionesde tipos en expresiones

Compiladores

📄

Empezar

índice

05

04

03

01

02

CONCLUSION

COMPROBACIONES ESTÁTICAS

BIBLIOGRAFIA

COMPROBACIONES DINÁMICAS

¿EN QUE CONSISTE LAS COMPROBACIONES DE TIPOS EN EXPRESIONES?

¿EN QUE CONSISTE LAS COMPROBACIONES DE TIPOS EN EXPRESIONES?

La labor de comprobación de tipos consiste en conferir a las construcciones sintácticas del lenguaje la semántica de tipificación y en realizar todo tipo de comprobaciones de dicha índole. Por su naturaleza, sin embargo, ésta se encuentra repartida entre la fase de análisis semántico y la generación de código intermedio. Itpn.mx. (s/f).

+info

COMPROBACIONES ESTÁTICAS

+info

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 artefactos y mecanismos propios de dicha fase. Este tipo de comprobaciones son beneficiosas puesto que confieren seguridad a la ejecución del programa. Itpn.mx. (s/f).

Caracteristícas

COMPROBACIONES DINÁMICAS

+info

Los lenguajes con una carga excesiva de comprobaciones dinámicas generan programas más largos, lentos e inseguros en ejecución.

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. Itpn.mx. (s/f).

CONCLUSION Y BIBLIOGRAFIA

+info

En cloncusión, el proceso de comprobación de tipos es fundamental en el desarrollo de software, ya que garantiza la coherencia semántica y la seguridad de ejecución de los programas.

• Las comprobaciones estáticas se realizan durante la compilación, lo que contribuye a detectar errores tempranos y a mejorar la eficiencia del programa.

• Por otro lado, las comprobaciones dinámicas se llevan a cabo durante la ejecución, lo que puede generar programas más largos, lentos y menos seguros.

Bibliografía

📄

¡GRACIAS! POR SU ATENCIÓN

Característias

• Diferente de la dinámica en runtime.
• Ejemplo: comprobación de tipos, flujo de control, unicidad.

Inferencia de tipos

• 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 resolver el tipo de datos de la expresión resultante en función del contexto de evaluación.

Verificación de tipos

• Comprueba la compatibilidad 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.