Resumen de Análisis semántico y transformación de programas lógico-funcionales
EL PROBLEMA DE LA INTEGRACION DE LA PROGRAMACION LOGICA Y FUNCIONAL ESTA CONSIDERADO COMO UNO DE LOS MAS IMPORTANTES EN EL AREA DE INVESTIGACION SOBRE PROGRAMACION DECLARATIVA, PARA QUE LOS LENGUAJES DECLARATIVOS SEAN UTILES Y PUEDAN UTILIZARSE EN APLICACIONES REALES, ES NECESARIO QUE EL GRADO DE EFICIENCIA DE SU EJECUCION SE APROXIME AL DE LOS LENGUAJES IMPERATIVOS, TAL Y COMO SE HA CONSEGUIDO CON EL LENGUAJE PROLOG. PARA ELLO, ES IMPRESCINDIBLE EL DESARROLLO DE HERRAMIENTAS POTENTES PARA EL ANALISIS Y TRANSFORMACION DE LOS PROGRAMAS, CAPACES DE OPTIMIZAR LAS IMPLEMENTACIONES EXISTENTES.
EN ESTA TESIS SE DESARROLLA UN MARCO PARA EL ANALISIS ESTATICO DE PROGRAMAS LOGICO-FUNCIONALES, BASADO EN LA IDEA DE CONSTRUIR APROXIMACIONES CORRECTAS DE LA SEMANTICA OPERACIONAL DEL PROGRAMA. FORMALIZAMOS UN ESQUEMA DE ANALISIS SIMPLE, UNIFORME Y FLEXIBLE, QUE PERMITE ESTUDIAR DISTINTOS TIPOS DE PROPIEDADES (RELACIONADAS CON EL CONJUNTO DE RESPUESTAS COMPUTADAS POR EL PROGRAMA) DE MANERA CORRECTA Y FACILMENTE IMPLEMENTABLE.
POSTERIORMENTE MOSTRAMOS QUE, EN EL CONTEXTO DE LOS LENGUJAES LOGICO-FUNCIONALES, LA ESPECIALIZACION DE PROGRAMAS SE PUEDE BASAR DIRECTAMENTE EN EL MECANISMO OPERACIONAL DE "NARROWING" QUE, DEBIDO A LA PROPAGACION BIDIRECCIONAL DE PARAMETROS REALIZADA A TRAVES DEL PROCEDIMIENTO DE UNIFICACION, ES CAPAZ DE PRODUCIR OPTIMIZACIONES APRECIABLES ESTA VISION UNIFICADA DE EJECUCION Y ESPECIALIZACION NOS PERMITE EXPLOTAR LAS CONTRIBUCIONES DE AMBOS CAMPOS, FUNCIONAL Y LOGICO, Y DESARROLLAR UN ESQUEMA SIMPLE Y POTENTE PARA MEJORAR EL PROGRAMA ORIGINAL RESPECTO A SU CAPACIDAD PARA COMPUTAR RESPUESTAS. EL ESQUEMA PRESENTADO EN ESTE TRABAJO CONSTITUYE LA PRIMERA APROXIMACION TOTALMENTE AUTOMATICA, CORRECTA Y FINITA PARA LA EVALUACION PARCIAL DE PROGRAMAS LOGICO-FUNCIONALES.
