Rescatado 17 de octubre del 2010
5.1 Analizador semántico
La habilidad para analizar un programa, razonando acerca de sus propiedades, es una de las tareas más importantes en el diseño de software y en la manipulación de programas. El análisis de flujo de datos, es decir, el proceso de recoger información sobre la forma en que el programa usa las variables y las estructuras de datos (sin necesidad de ejecutarlo) juega un papel fundamental en el diseño de programas que, a su vez, transforman programas (como compiladores, intérpretes, sistemas de comprobación de tipos, etc). Esto queda justificado, por ejemplo, cuando se recapacita sobre la enorme proporción de código dedicada en la mayoría de compiladores modernos a la comprobación y optimización del código generado, puesto que cualquier mejora en el código intermedio contribuye a producir un código máquina correcto (con idéntica semántica) y más rápido.
Bibliografía: http://users.dsic.upv.es/grupos/elp/temas/analisis.html
Aportación: La fase de análisis semántico revisa el programa fuente para tratar de encontrar errores semánticos y reúne la información sobre los tipos para la fase posterior de generación de código. En ella se utiliza la estructura jerárquica determinada por la fase de análisis sintáctico para identificar los operadores y operandos de expresiones y proposiciones
Rescatado 17 de octubre del 2010(Universidad de San Carlos de Guatemala)
Facultad de Ingeniería Laboratorio de Compiladores 1
5.2 Verificación de tipos en expresiones
El compilador verifica si cada operador tiene operandos permitidos por la especificación del lenguaje fuente. Por ejemplo, las definiciones de muchos lenguajes de programación requieren que el compilador indique un error cada vez que se use un número real como índice de una matriz. Sin embargo, la especificación del lenguaje puede permitir ciertas coerciones a los operandos, por ejemplo, cuando un operador aritmético binario se aplica a un número entero y a un número real. En este caso, el compilador puede necesitar convertir el número entero a real.
Aportación: En este apartado relacionamos el tipo de datos que se deben emplear en un programa y las expresiones que están disponibles en cada una de sus características de tal manera tenga un conjunto de caracteres asociados en el lenguaje.
Rescatado 17 de octubre del 2010
Velázquez Cruz Alejandro Domingo (México)
5.2 Conversión de tipos
En ciencias de la computación la conversión de tipos o type casting se refiere a la evolución de un tipo de dato a otro.
Las conversiones nos permiten que una expresión de un tipo sea tratada como una expresión de otro tipo, dichas conversiones pueden ser implícitas o explícitas, por ejemplo la conversión de un tipo int a long es implícita, sin embargo la conversión de un tipo long a un tipo int es explícita, esto debido a que un int puede ser expresado en formato long sin que haya perdida de precisión en la operación, sin embargo si intentamos convertir un numero long a int puede haber perdida de precisión y se necesita una conversión explícita, es como una forma de obligarnos a demostrar que estamos conscientes de que existe tal perdida de precisión y en verdad es muy útil.
Bibliografía: http://www.mailxmail.com/curso-c-programacion/conversion-tipos-datos
Aportación: Al hablar de conversión de tipos se entiende que es una conversión de caracteres diferentes pero que a su vez es tan indistinto porque aquí se da una precisión en ambos contenidos de lo contrario se efectúa la conversión implícita a explicita para tener una coordinación y evitar la pérdida de precisión
INFORMACION RESCATADA POR:
OSORIO DE LA CRUZ GABINO
ING. SISTEMAS COMPUTACIONALES
INSTITUTO TECNOLOGICO DE CERRO AZUL VER.
No hay comentarios:
Publicar un comentario