Análisis semántico
Análisis semántico
Análisis semántico
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Chequeos de tipos (y otros)<br />
Un compilador debe realizar una serie de chequeos<br />
estáticos, como chequeos de tipos:<br />
Consistencia: unicidad, existencia, no-ciclicidad, ...<br />
Equivalencia y compatibilidad de tipos<br />
Conversión explícita [cast] o forzada [coercion]<br />
Inferencia de tipos (en valores)<br />
Sobrecarga de funciones y operadores<br />
Funciones polimórficas,<br />
u otros (p.e., consistencia de instrucciones de control).<br />
En otros casos, debe generar código para realizar chequeos<br />
dinámicos (p.e., valor dentro de rango).<br />
<strong>Análisis</strong> semático v1.2 c○2005 José Fortes– p.8