Semántica de lenguajes de programación
Resumen
La materia está planteada como complementaria, a modo de profundización de algunos temas vistos en Características de lenguajes de programación. El objetivo entonces es adentrarse en los fundamentos de los lenguajes de programación desde el punto de vista semántico. Contenidos mínimos: definiciones inductivas. Principios de inducción. Semántica operacional y denotacional de lenguajes imperativos. Ordenes parciales completos. Equivalencia. Semántica axiomática de lenguajes imperativos. Aserciones. Corrección. Reglas de Hoare. Conceptos básicos de teoría de dominios. CPOs, productos, espacio de funciones, lifting, sumas. Semántica operacional y denotacional de lenguajes funcionales. Estrategias call-by-value, call-by-name, equivalencia.