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-11-16)
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 de Noviembre TP de administración de memoria (sin clase)
14 de Noviembre Introducción a Lógica Lineal
15 y 21 de Noviembre Consulta (21/11 entrega de TP)
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