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.
Modos de Cursada: Cuatrimestral Presencial
Horas Semanales: 4 horas
Demanda de tiempo en casa semanal: 4 horas
Sitio web:
- Aún no disponible
Programa de la materia:
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.