Programación funcional y procesamiento paralelo. Transformaciones paralelizantes de programas

• Autores: Eduardo Medina Cano
• Directores de la Tesis: Inmaculada Pérez de Guzmán Molina (dir. tes.)
• Lectura: En la Universidad de Málaga ( España ) en 1991
• Idioma: español
• Tribunal Calificador de la Tesis: Luis Parras Guijosa (presid.), José María Troya Linero (secret.), John Darlintong (voc.), Francisco Andrés Triguero Ruiz (voc.), José María Barja Pérez (voc.)
• Materias:
  • Matemáticas
    • Ciencia de los ordenadores
      • Bancos de datos
• Texto completo no disponible (Saber más ...)
• Resumen

  • ESTA TESIS APORTA RESULTADOS ORIGINALES EN EL MARCO DE LA TEORIA DE TRANSFORMACIONES ALGEBRAICAS DE PROGRAMAS FUNCIONALES, CONCRETAMENTE SE DESCRIBE LA CLASE DE LAS FUNCIONES DIVIDE Y VENCERAS APORTANDO UNA CARACTERIZACION DE LOS TRANSFORMADORES DE PREDICADO CORRESPONDIENTES A SU EXPRESION EN SINTAXIS FP, DE MODO QUE ES POSIBLE OBTENER SINTESIS DE TALES PROGRAMAS QUE EXTRAYENDO EL PARALELISMO IMPLICITO DE LAS FUNCIONES DIVIDE Y VENCERAS PERMITE EL ESTUDIO DE IMPLEMENTACIONES UNIPROCESADOR Y PARALELOS. SE INCLUYE ASIMISMO UNA IMPLEMENTACION DE "MERGESORT" MEDIANTE MULTIPLES PROCESOS ESCRITA EN C Y BAJO EL SISTEMNA OPERATIVO UNIX.