Implementación de Lenguajes Funcionales
Prof. Rafael D. Lins
Universidade Federal de Pernambuco ( Recife - Brasil )

Duración: 2/11 al 6/11
Horario: 19 a 21
Lugar: Aula de Seminario de Física
 Contenido
Modulo 1: Motivación y Visión general del curso
	El Lambda-Calculus: .el contexto histórico
    	.sintaxis
        .semantica operativa - ejemplos
        Los teoremas de Church-Rosser I y II
 
 Modulo 2: El Lambda-Calculus como un lenguaje de Programación (Parte I):
		.Booleanos y operaciones.
        .Numerales de Church y operaciones.
        .Listas
 
 Modulo 3: El Lambda-Calculus como un lenguaje de Programación (Parte II):
 		.Recursividad
        .Combinadores de Punto Fijo
        La maquina SECD
 
           
 Modulo 4: Logica Combinatoria:
 		.el contexto histórico
    	.Bracket abstraction
    	.Los Combinadores de Turner
        La Maquina de Turner.
        De la interpretación a la compilación:
            .FAM
            .La Máquina G
            .Nuevos Desarrollos
 
 Modulo 5: Garbage Collection:
 		.La necesidad de GC: Gestión Estática, en Pila y Dinámica
        .El algoritmo de Mark-Scan.
        .El algoritmo de Copia de Fenichel-Yochelson 
        .El algoritmo de Copia de Cheney
        .Contadores de Referencias.
        .Referencias Cíclicas: 
        	- Importancia
            - El error de Brownbridge             
            - El algoritmo de Martinez-Wachenchauzer-Lins
            - Nuevos Desarrollos
 Slides Powerpoint por día
 Lunes  Martes  Miércoles  Jueves  Viernes
 Proyecto
 Enunciado
 Referencias Bibliográfica
 Notas del Profesor (DVI o Postscript)
 Garbage Collection: Algorithms for Automatic Dynamic Memory Management
  R.E.Jones and R.D.Lins
  John Wiley & Sons, July 1996.
  ISBN: 0-471-94148-4
 The Implementation of Functional Programming Languages (más técnico)
  Simon L. Peyton Jones
  Paperback - 445 pages (December 1997)
  Prentice Hall Press
  ISBN: 0134533259
 The Implementating Functional Languages (solamente para bajar)
  Simon L. Peyton Jones, David R. Lester
  Prentice Hall Press
 Consultas
 Administrativas  Rafael D. Lins
Departamento de Computación FCEyN/UBA
Planta Baja- Pabellón I - Ciudad Universitaria
(1428) Buenos Aires. Argentina.
T.E.: 788-9101/07. FAX: 783-0729. e-mail: compuba@dc.uba.ar