Tesis doctoral de Eduardo Medina Cano
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.
Datos académicos de la tesis doctoral «Programacion funcional y procesamiento paralelo. transformaciones paralelizantes de programas.«
- Título de la tesis: Programacion funcional y procesamiento paralelo. transformaciones paralelizantes de programas.
- Autor: Eduardo Medina Cano
- Universidad: Málaga
- Fecha de lectura de la tesis: 01/01/1991
Dirección y tribunal
- Director de la tesis
- Inmaculada Perez De Guzman Molina
- Tribunal
- Presidente del tribunal: Luis Parras Guijosa
- Francisco Trigueros Ruiz (vocal)
- John Darlintong (vocal)
- Barja Perez José M. (vocal)