5.2 VERIFICACION DE TIPOS EN EXPRESIONES

FUNDAMENTO TEORICO

Es el proceso que permite asegurar que un
programa obedece a las reglas en el sistema
de compatibilidad especificados en el sistema de
tipos del lenguaje

BIBLIOGRAFIA

www.mitecnologico.com/main/verificacionTiposEnExpresiones

http://wwwdi.ujaen.es/asignaturas/PDLII/teoria/tema1.pdf


Recuperado: 21 de octubre del 2010


APORTACION

Esto quiere decir que por medio de la verificacion de tipos
podemos determinar que los operadores a los que estamos
accediendo sean los correctos y si no esta nos marcara las expresiones que
no sean aceptadas dentro del lenguaje.