Programación funcional y procesamiento paralelo. Transformaciones paralelizantes de programas
- Medina Cano, Eduardo
- Inmaculada Pérez de Guzmán Molina Doktorvater/Doktormutter
Universität der Verteidigung: Universidad de Málaga
Jahr der Verteidigung: 1991
- Luis Parras Guijosa Präsident
- José María Troya Linero Sekretär/in
- John Darlintong Vocal
- Francisco Andrés Triguero Ruiz Vocal
- José María Barja Pérez Vocal
Art: Dissertation
Zusammenfassung
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.