Técnicas de transformación automática de programas

Parte I: Evaluación Parcial de Programas

• Introducción a la Evaluación Parcial de Programas
  • Evaluación parcial = especialización de programas
  • Utilidad de la evaluación parcial
  • Evaluación parcial y compilación
  • Generación automática de programas
• Especialización de Programas Lógicos
  • Formalización de la deducción parcial
  • Corrección y completitud de la especialización
  • Un algoritmo para la deducción parcial
  • Terminación de la deducción parcial
  • Renombramiento
  • Ejemplo: especialización de un pattern matcher
• Especialización de Programas Lógico Funcionales

Parte II: Técnicas de Transformación basadas en Plegado/Desplegado

• Introducción
• Transformación de Programas Funcionales
  • Estrategias de transformación
    • Composición
    • Tupling
• Transformación de Programas Lógicos
  • Corrección y completitud
• Relación con las Técnicas de Evaluación Parcial
• Transformación de Programas Lógico Funcionales