Notas de clase


En esta sección se colocarán las notas de clase y laboratorio por tema.

Nota: Esta es una versión preliminar de las notas y están en constante actualización por lo que te agradecemos que si detectas algún error o deseas hacer alguna observación nos envíes un correo electrónico a la brevedad.

No.
 Tema
2
 Generación de código ejecutable
3
 Ambientes de evaluación y alcance
Anexo 1
 Introducción a Racket
Anexo 2
 Tipos de datos abstractos
Otras referencias
Notas de Cálculo Lambda sin tipos del Dr. Favio E. Miranda
Códigos
C1
 Código de interp con ambientes.
C2
 Código de interp recursivo.
Ejemplos de ejecuciones
E1
 Ejemplo de ejecución para subst
E2
 Ejemplo de ejecución para parser e interp (calc)
E3
 Ejemplo de ejecución para interp
E4
 Ejemplo de ejecución para interp usando ambientes
E5
 Ejemplo de ejecución para interp usando ambientes y cerraduras
E6
 (Profesora) Ejecuciones Susbt e Interp en FWAE