Análisis semántico y transformación de programas lógico-funcionales

• Autores: Germán Vidal Oriola
• Directores de la Tesis: María Alpuente Frasnedo (dir. tes.)
• Lectura: En la Universitat Politècnica de València ( España ) en 1996
• Idioma: español
• Tribunal Calificador de la Tesis: Isidro Ramos Salavert (presid.) , Juan José Moreno Navarro (secret.) , Moreno Falaschi (voc.) , Fernando Orejas Valdés (voc.) , Mario Rodríguez Artalejo (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

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