Optimización y análisis de especificaciones funcionales: un enfoque hacia la automatización

• Autores: Cristóbal Pareja Flores
• Directores de la Tesis: Inmaculada Pérez de Guzmán Molina (dir. tes.)
• Lectura: En la Universidad de Málaga ( España ) en 1993
• Idioma: español
• Tribunal Calificador de la Tesis: Luis Parras Guijosa (presid.) , José María Barja Pérez (secret.) , Francisco Andrés Triguero Ruiz (voc.) , John Darlington (voc.) , G. Harrison Peter (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

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