Un compilador no solo tiene que revisar la sintaxis de código fuente, sino también la semántica de este.
Al igual que en los lenguajes naturales (español, ingles, etc.) en los lenguajes de programación existen reglas semánticas para definir el significado de los programas o expresiones. El error semántico en un programa es cuando este es compilado y no se detectan errores pero al momento de ser ejecutado este programa no funciona correctamente. Cuando mezclamos diferentes tipos en una misma expresión o que llamamos una rutina que no existe es cuando hay un error semántico.
Una de las funciones del analizador semántico es verificar que los tipos de una expresión sean compatibles entre sí. Esto es lo que haremos en esta unidad, la validación de tipos.
Suscribirse a:
Enviar comentarios (Atom)
No hay comentarios:
Publicar un comentario