TECNICAS
DE TRANSFORMACION AUTOMATICA 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
- Transformación de Programas
Lógicos
- Relación con las Técnicas
de Evaluación Parcial
- Transformación de Programas
Lógico Funcionales