Optimización y análisis de especificaciones funcionalesun enfoque hacia la automatización

  1. Pareja Flores, Cristóbal
Zuzendaria:
  1. Inmaculada Pérez de Guzmán Molina Zuzendaria

Defentsa unibertsitatea: Universidad de Málaga

Defentsa urtea: 1993

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

Mota: Tesia

Teseo: 38434 DIALNET

Laburpena

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.