Ir al contenido

Documat


Debugging techniques for declarative languages: profiling, program slicing and algorithmic debugging

  • Autores: Josep Francesc Silva Galiana Árbol académico
  • Directores de la Tesis: Germán Vidal Oriola (dir. tes.) Árbol académico
  • Lectura: En la Universitat Politècnica de València ( España ) en 2007
  • Idioma: inglés
  • Tribunal Calificador de la Tesis: María Alpuente Frasnedo (presid.) Árbol académico, César Ferri Ramírez (secret.) Árbol académico, Michael Hanus (voc.) Árbol académico, Elvira Albert (voc.) Árbol académico, Rafael Caballero Roldán (voc.) Árbol académico
  • Texto completo no disponible (Saber más ...)
  • Resumen
    • La depuración de programas puede ser una tarea ardua, Esto se debe fundamentalmente a que los errores pueden ser evidentes al primer vistazo, o pueden estar escondidos en las zonas más profundas y ocultas de nuestros programas. Sin embargo, sorprendentemente, la depuración es uno de los procesos software que ha sido menos tratado por la comunidad científica; de hecho, las mismas técnicas de depuración que se usaban hace veinte años, continúan utilizándose en la actualidad. La situación no es diferente en el contexto de los lenguajes declarativos. O es incluso peor, porque estos lenguajes suelen presentar dificultades adicionales a la hora de depurarlos debido, por ejemplo, al mecanismo de evaluación perezosa. En esta tesis se revisan los métodos actuales de depuración para lenguajes declarativos y se desarrollan nuevos métodos y técnicas basadas en el cómputo de costes, la fragmentación de programas y la depuración algorítmica. Brevemente, las principales contribuciones de la tesis son:

      - La definición de un esquema de cómputo de costes para programas lógico funcionales que está basado en el uso de centros de coste y que permite medir diferentes tipos de costes simbólicos.

      - La formulación de una nueva técnica de fragmentación dinámica de programas basada en redex trails, su aplicación a la depuración y su adaptación para la especialización de programas declarativos multi-paradigma modernos.

      - La introducción de un nuevo esquema de depuración algorítmica que combina la depuración algorítmica convencional con la fragmentación de programas.

      - La definición de tres nuevas estrategias para depuración algorítmica.

      - El desarrollo de un estudio comparativo y una posterior clasificación de técnicas de fragmentación de programas y estrategias de depuración algorítmica.


Fundación Dialnet

Mi Documat

Opciones de tesis

Opciones de compartir

Opciones de entorno