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

  1. Medina Cano, Eduardo
Zuzendaria:
  1. Inmaculada Pérez de Guzmán Molina Zuzendaria

Defentsa unibertsitatea: Universidad de Málaga

Defentsa urtea: 1991

Epaimahaia:
  1. Luis Parras Guijosa Presidentea
  2. José María Troya Linero Idazkaria
  3. John Darlintong Kidea
  4. Francisco Andrés Triguero Ruiz Kidea
  5. José María Barja Pérez Kidea

Mota: Tesia

Teseo: 30186 DIALNET

Laburpena

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.