Tesis doctoral de Cristobal Pareja Flores
Este trabajo se situa en el area de las transformaciones algebraicas de programas funcionales y en concreto en la optimizacion y analisis de programas funcionales. Se introducen metodos para programas lineales y multilineales degenerados (metodos inductivos, supresion de parametros inutiles y aplicacion de axiomas del algebra consideradas) que contribuyen a la optimizacion y al analisis de complejidad. aporta ademas este trabajo, medidas automaticas de complejidad para los programas referidos, novedosas nociones de grado, orden y dimension, permite detectar y eliminar redundancias en los programas multilineales es de destacar por ultimo la aportacion de formas normales que parametrizan programas, tanto en el caso lineal como multilineal.
Datos académicos de la tesis doctoral «Optimizacion y analisis de especificaciones funcionales. un enfoque hacia la automatizacion«
- Título de la tesis: Optimizacion y analisis de especificaciones funcionales. un enfoque hacia la automatizacion
- Autor: Cristobal Pareja Flores
- Universidad: Málaga
- Fecha de lectura de la tesis: 01/01/1993
Dirección y tribunal
- Director de la tesis
- Inmaculada Perez De Guzman Molina
- Tribunal
- Presidente del tribunal: Luis Parras Guijosa
- John Darlington (vocal)
- Francisco Triguero Ruiz (vocal)
- G. Harrison Peter (vocal)