Autor: MARIÑO CARBALLO, Julio

Título: Semántica y Análisis de Programas Lógico-Funcionales.

Fecha: 2002

Materia: Sin materia definida

Escuela: FACULTAD DE INFORMATICA

Departamento: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE

Acceso electrónico:

Director/a(s):

• Director/a: MORENO NAVARRO, Juan José

Resumen: Los lenguajes de programación lógico-funcionales son un intento de integrar las dos ramas principales de la programación declarativa: los lenguajes lógicos y los funcionales. Durante la década de los 80 se definieron unos cuantos de estos lenguajes y de hecho dos de ellos con la participación de nuestro departamento: Babel y su sucesor, Curry. Sin embargo, cuando nos movemos de la formulación teórica a las realizaciones prácticas aparecen una serie de problemas. Algunos son provocados por la incompatibilidad de distintos mecanismos de ejecución adaptados de cada una de las dos partes por ejemplo, la evaluación perezosa necesaria para realizar la semántica no estricta en los lenguajes funcionales y las técnicas de retroceso usadas en Prolog para el tratamiento del indeterminismo y las variables lógicas. Esta tesis abarca gran parte del trabajo de investigación que he llevado a cabo en la Facultad de Informática de la Universidad Politécnica de Madrid. Esta investigación ha girado, fundamentalmente, alrededor de la optimización, basada en métodos semánticos, de la compilación de programas lógico-funcionales.