Los errores semnticos son aquellos donde lo que se esta declarando no tiene

un significado correcto.

- Se producen cuando la sintaxis del cdigo es correcta pero la semntica o el
significado no es lo que se pretenda.

- La construccin obedece a las reglas del lenguaje y por ello el compilador o
interprete no detectan los errores semnticos, los compiladores o interpretes
solo se ocupan de la estructura del cdigo que se escribe y no de su
significado.
LEXICOS:

Son errores donde se escribe mal un identificador, numero, palabra clave u
operando.

Ejemplo:
Utilizar caracteres que no correspondan al alfabeto del lenguaje ( : )

SINTACTICOS

Son errores donde la sintaxis no esta construida completamente.

Por ejemplo:
Una expresin aritmtica con parntesis no equilibrados.
No poner un ; al final de una sentencia.
Estructura incorrecta de una sentencia.

SEMANTICOS

Son errores donde la sintaxis no tiene un significado lgico o se desva de lo
que se quiere realizar.

Por ejemplo:
Multiplicar por una variable booleana.

LOGICOS

Son errores donde la sintaxis esta bien declarada pero el funcionamiento no es
lo que esperbamos.

Por ejemplo:
Una llamada indefinidamente recursiva de un mtodo.
Un bucle infinito
Comprobacin de tipos:
la comprobacin de tipos es capaz de garantizar que los programas
se pueden ejecutar sin errores de tipo, por lo que los errores de tipo se
detectaran siempre en tiempo de ejecucin.

Como mnimo, ante un error, un comprobador de tipo debe de informar de la
naturaleza y posicin del error y recuperarse para continuar con la
comprobacin del resto del programa a analizar.

CONVERSION DE TIPOS
a veces es necesario transformar el tipo de una expresin para utilizar
correctamente un operador o paa pasar de manera adecuada un parmetro a
una funcin.

Int long

SOBRECARGA DE OPERADORES
f(x) iguales funcionamiento diferente.
La sobrecarga se resuelve determinando el tipo de cada una de las
expresiones intervinientes en la sobrecarga.
Int a,b
Double x,y
Int r
r=a+b
r=a+x
r=x+y

COERCION:
conversin implcita o explicita.

FUNCIONES POLIMORFICAS:
son funciones que trabajan con argumentos cuyo tipo pueden cambiar
en distintas llamadas a la funcin.