Un depurador abstracto, inductivo y paramétrico para programas multiparadigma

  • María Alpuente Frasnedo Departamento de Sistemas Informáticos y Computación-DSIC, Universidad Politécnica de Valencia, Camino de Vera s/n, 46022,
  • Francisco José Correa Zabala Departamento de Informática y Sistemas{DIS, Grupo de Lógica y Computación, Universidad EAFIT, Carrera 49 7 Sur 50, A.A. 3300,

Resumen

Presentamos un marco general para el diagnóstico abstracto de programas lógico- funcionales, válido para diferentes estrategias de estrechamiento. Asociamos a cada programa una semántica por punto fijo que modela las respuestas computadas. Nuestra metodología está basada en la interpretación abstracta y es paramétrica con respecto a la estrategia de cómputo. Gracias a que la aproximación del conjunto de éxitos que presentamos es finita, la metodología de diagnóstico que se propone puede ser usada de manera estática. Una implementación de nuestro sistema de depuración \BUGGY" demuestra experimentalmente que el método permite encontrar algunos errores comunes sobre una muestra amplia de programas.

Palabras Claves: depuración declarativa, diagnóstico abstracto, interpretación abstracta, lenguaje lógico funcional, programación multiparadigma, semántica operacional, semántica de punto fijo.

Cómo citar
Alpuente Frasnedo, M., & Correa Zabala, F. J. (2004). Un depurador abstracto, inductivo y paramétrico para programas multiparadigma. Revista Colombiana De Computación, 5(2), 1–21. Recuperado a partir de https://revistas.unab.edu.co/index.php/rcc/article/view/1073

Descargas

Los datos de descargas todavía no están disponibles.
Publicado
2004-12-01
Sección
Artículo de investigación científica y tecnológica

Métricas

QR Code