Programación Declarativa Avanzada

(Optativa, 2º ciclo, Ingeniería Informática)

RELACIÓN DE TRABAJOS MONOGRÁFICOS REALIZADOS DURANTE EL CURSO 2001-2002

Id./Grupo(dispo) Título Temática

G1 P Bases de Datos Deductivas P.Avan.

G2 CD Edulog (intérprete de Prolog con fines educativos) Asp. Didácticos

G3 D,*.hs TADs en Haskell P.Avan.

G3bis P Programación difusa en Prolog Prog. Avan/Ext.

G4 D Progr. Lóg. Paralalela. PARLOG Para-Ext.

G5 P Mónadas P.Avan./Fundamentos

G6 CD LIFE Para-Ext.

G7 D Abstracciones de Datos en lC Fundamentos

G8 P Aspectos Educativos de la PD Asp. Didácticos

G9 D TOY Fund./Extensiones

G9bis D CLP(L) Fund./Extensiones

G10 CD Concurrent Haskell Para-Ext

G11 D PL en Internet Asp. Didácticos

G12 CD Prog. Distribuida y Servidores web (COM y HaskelScript) Prog.Avan./Ext.

G13 D,*.hs Aplicaciones a la Criptografía Prog. Avanzada

(I : Internet, D : disco, C : CD, P : papel)