Unidad V

Cdigo de Tres Direcciones

Es una manera linear de representar un grafo de sub
expresiones en donde los nombres explcitos
corresponden a los nodos interiores del grafo muy til
principalmente a la hora de optimizar.
 El cdigo de tres direcciones se basa en 2 conceptos
principal: direcciones e instrucciones.

Tipos y Declaraciones:
Las expresiones de tipo son las estructuras de tipos
que definen un program a, pueden ser de tipos bsicos
(booleano, char, integer, float, void) o formados por
una estructura de tipos bsicos creada por operadores
de constructores.
 Verificacin de tipos: La verificacin de tipos es una
tcnica utilizada para asegurar que un programa
obedece las reglas de compatibilidad especficas del
lenguaje de programacin utilizado.

La verificacin se puede realizar de dos formas: en

tiempo de ejecucin o de manera esttica.
 Control de flujo: En los lenguajes de programacin
hay estructuras y operadores que permiten controlar el
flujo de la ejecucin, estos pueden ser ciclos, saltos,
condiciones entre otros.