Semántica y análisis de programas lógico funcionales

• Autores: Julio Mariño Carballo
• Directores de la Tesis: Juan José Moreno Navarro (dir. tes.)
• Lectura: En la Universidad Politécnica de Madrid ( España ) en 2002
• Idioma: español
• Tribunal Calificador de la Tesis: Manuel Enrique Collado Machuca (presid.), Manuel de Hermenegildo Salinas (secret.), Alan Mycroft (voc.), Michael Hanus (voc.), María Alpuente Frasnedo (voc.)
• Materias:
  • Matemáticas
    • Ciencia de los ordenadores
      • Inteligencia artificial
      • Lenguajes de programación
• Texto completo no disponible (Saber más ...)
• 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 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.