Técnicas avanzadas de compilación basadas en interpretación abstracta y transformación de programas

• Autores: Alvaro German Puebla Sánchez
• Directores de la Tesis: Manuel de Hermenegildo Salinas (dir. tes.)
• Lectura: En la Universidad Politécnica de Madrid ( España ) en 1998
• Idioma: español
• Tribunal Calificador de la Tesis: Luis María Laita de la Rica (presid.) , José Cuena Bartolomé (secret.) , Juan José Moreno Navarro (voc.) , Peter J. Stuckey (voc.) , Pierre Deransart (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • El análisis estáticos de programas juega un papel cada vez más importante en los compiladores actuales, ya que permite obtener información en tiempo de compilación sobre el comportamiento del programa en tiempo de ejecución, Dicha información es útil posteriormente tanto para comprobar que el programa cumple las especificaciones dadas como para optimizar el programa.

    En esta tesis se presentan primero algunas técnicas básicas de análisis global tales como algoritmos para análisis incremental eficiente, que permiten la reutilización de la información de análisis anteriores cuando un programa analizado sufre alguna modificación, y métodos para el análisis de las características complejas de los lenguajes de programación reales, tales como efectos laterales o modificación dinámica del programa.

    También se proponen técnicas de optimización de programas, las cuales se encuadran dentro del marco general de la especialización: el programa resultante es válido para el caso particular considerado y más eficiente que el programa original. Se presenta un tipo de especialización que es abstracta, en el sentido de que el programa se especializa no con respecto a valores concretos, sino con respecto a valores abstractos, que también se pueden ver como conjuntos (posiblemente infinitos) de valores concretos, e profundiza en la relación entre la especialización abstracta y la evaluación parcial tradicional y en cómo integrar ambas en un nuevo marco que reúne las ventajas de cada una de ellas. Se presenta también un lenguaje de aserciones que permite al mismo tiempo al usuario expresar requisitos (especificaciones) sobre el programa y al analizador expresar los resultados del análisis. Esto facilita la comunicación entre el usuario y las distintas herramientas del entorno de desarrollo de programas, así como entre dichas herramientas. Finalmente, se presenta un esquema de validación de aserciones que comb