Tesis doctoral de Álvaro Germán Puebla Sánchez
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
Datos académicos de la tesis doctoral «Tecnicas avanzadas de compilacion basadas en interpretacion abstracta y transformacion de programas.«
- Título de la tesis: Tecnicas avanzadas de compilacion basadas en interpretacion abstracta y transformacion de programas.
- Autor: Álvaro Germán Puebla Sánchez
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 21/11/1997
Dirección y tribunal
- Director de la tesis
- Manuel Hermenegildo Salinas
- Tribunal
- Presidente del tribunal: Luis María Laita de la rica
- pierre Deransart (vocal)
- Juan José Moreno navarro (vocal)
- peter Stuckey (vocal)