Tesis:
Semántica y Análisis de Programas Lógico-Funcionales.
- 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
- Departamentos: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE
- Acceso electrónico:
- Director/a 1º: 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.