Tesis doctoral de Julio Mariño Carballo
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 porla 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.
Datos académicos de la tesis doctoral «Semántica y análisis de programas lógico funcionales«
- Título de la tesis: Semántica y análisis de programas lógico funcionales
- Autor: Julio Mariño Carballo
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 30/05/2002
Dirección y tribunal
- Director de la tesis
- Juan Jose Moreno Navarro
- Tribunal
- Presidente del tribunal: Collado machuca Manuel enrique
- michael Hanus (vocal)
- alan Mycroft (vocal)
- María Alpuente frasnedo (vocal)