Presentación Tecnología Digital

Comprobacion de datos

Contextualiza tu tema con un subtítulo

L-value y R-value

Los términos L-value y R-value se refieren a los valores que son apropiados en los lados izquierdo y derecho de una asignación. Los R-value son lo que generalmente consideramos como "valores", mientras que los L-value son las ubicaciones.i = 5;i = i + 1;El lado derecho especifica un valor entero, mientras que el lado izquierdo especifica en donde se va a almacenar el valor.

Comprobación de datos

La comprobación de tipos asegura que el tipo de una construcción coincida con lo que espera su contexto.If (expr) instrLas reglas de comprobación de tipos siguen la estructura operador/operando de la sintaxis abstracta.La idea de relacionar los tipos actuales con los esperados se sigue aplicando, aun en las situaciones:Coerciones. Ocurre cuando el tipo de un operando se convierte en forma automática al tipo esperado por el operador. Por ejemplo 2 * 3.14 se encarga de convertir el 2 en un numero de punto flotante (2.0) para poder realizar la operación y obtener un resultado de punto flotante.Sobrecarga: El operador + en Java representa la suma cuando se aplica a enteros y concatenacion cuando se aplica a cadenas. Se dice que un símbolo esta sobrecargado si tiene distintos significados. Entonces + esta sobrecargado en Java.

Una vez se construyen los árboles de sintaxis, se puede realizar un proceso más detallado de análisis y síntesis mediante la evaluación de los atributos, y la ejecución de fragmentos de código en los nodos de árbol. Para ilustrar las posibilidades, se recorren los árboles sintácticos para generar código de tres direcciones.El código de tres instrucciones es una secuencia de instrucciones de la forma:x = y op zdonde x, y y z son nombres, constantes o valores temporales generados por el compilador; y op representa un operadorx [ y ] = zx = y [ z ]

Código de tres direcciones

Contextualiza tu tema con un subtítulo