Características de Lenguajes de Programación – LIDS

Profesores: Alejandro Díaz-Caro (Jano) y Emanuel Delgadillo

Apunte de la materia (Ultima modificación: 2017-10-14)
Basado en el libro “Introduction to the theory of programming languages” de Gilles Dowek y Jean-Jacques Lévy.

Prácticas:

Cronograma

Fechas Temas
15, 16 y 22 de Agosto PCF no tipado
23 y 29 de Agosto Estrategias de reducción
30 de Agosto y 5 de Septiembre PCF tipado
6 y 12 de Septiembre Inferencia de tipos
13 y 19 de Septiembre Polimorfismo
20 de Septiembre Consulta
26 de Septiembre Primer parcial
27 de Septiembre y 3 de Octubre Interpretación
4 y 10 de Octubre Compilación
11 y 17 de Octubtre Registros y objetos
18 y 24 de Octubre Semántica denotacional
25 y 31 de Octubre Demostraciones: Subject Reduction
1 y 7 de Noviembre Demostraciones: Strong Normalisation
8 y 14 de Noviembre Rápida introducción a la lógica lineal
15 de Noviembre TP de administración de memoria
21 de Noviembre Entrega de TP (sin clase)
22 de Noviembre Lenguajes para diferentes propósitos
28 de Noviembre Consulta
29 de Noviembre Segundo parcial
5 de Diciembre Consulta
6 de Diciembre Recuperatorio
12 de Diciembre Consulta
13 de Diciembre Integrador