PROGRAMACION INTERNET CON LENGUAJES DECLARATIVOS MULTIPARADIGMA.

 

Tema 0: Presentación. (Material: transparencias)
Tema 1: Introducción. (Material: transparencias)

 

FUNDAMENTOS (Profesor: Pascual Julián Iranzo)

Tema 2: Sistemas ecuacionales. (Material: transparencias)
Tema 3: Sistemas de reescritura. (Material: transparencias)

Tema 4: Narrowing, estrategias de narrowing y residuación. (Material: transparencias)

APLICACIONES (Profesor: Ginés Moreno Valverde)

Tema 5: Curry: un ejemplo de lenguaje integrado. (Material:

Link_1: Tutorial on Curry (transparencias1, transparencias2)
Link_2: Report on the language Curry

Link_3: Programming with Narrowing )

Tema 6: Aplicaciones a la programación internet. (Material: transparencias)

Tema 7: Extensiones difusas de la Programación Declarativa.

 

 

CONFERENCIA INVITADA : Por determinar.

CONFERENCIA INVITADA (Curso 2007-2008)

Termination of Narrowing in Left-Linear Constructor Systems (transparencias)

Germán Vidal
Catedrático de Lenguajes y Sistemas Informáticos de la Universidad
Politécnica de Valencia.

Resumen:

Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and replacing matching with unification. Narrowing has been widely used in different contexts, ranging from theorem proving to language design. Surprisingly, the termination of narrowing has been mostly overlooked. In this paper, we present a new approach for analyzing the termination of narrowing in left-linear constructor systems a widely accepted class of systems that allows us to reuse existing methods in the literature on termination of rewriting.


Fecha y hora: Martes 20 de MAYO de 2008, de 16:30 a 18h.
Lugar:
  • Ciudad Ral: Sala de vídeo-conferencia 1,
    planta baja Edificio Servicio de Informática
    (junto al Rectorado).
  • Albacete: Aula 0.6 de la ESII en Albacete.

 

Noticias:

  1. Fecha de inicio: 17 de febrero de 2009 --- Fecha de fin: 19de Mayo de 2008.
  2. Horario: Martes de 16:30 a 20:30
  3. Lugar:
    • Ciudad Ral: Sala de vídeo-conferencia 1, planta baja Edificio Servicio de Informática (junto al Rectorado).
    • Albacete: Aula Manuel Castells de la ESII en Albacete.
  4. Parte del material empleado en este curso ha sido cedido por miembros del grupo ELP de la Universidad Politécnica de Valencia (especialmente por María Alpuente, en lo referente al Tema 1, y por Salvador Lucas, en lo referente al Tema 3), lo que agradezco publicamente. Si bien la reelaboración de estos apuntes y los posibles errores introducidos son responsabilidad del autor de esta nota..