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.)
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.