Un depurador abstracto, inductivo y paramétrico para programas multiparadigma
Cargando...
Fecha
Autores
Alpuente Frasnedo, María
Correa Zabala, Francisco José
Otros contribuidores
Director / Asesor
Título de la revista
ISSN de la revista
Título del volumen
Editor
Universidad Autónoma de Bucaramanga UNAB
Seguimiento al proceso del trabajo
Compartir
Seleccione un documento PDF para visualizar
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.
Descripción
Keywords
Technological innovations; Computer science; Technology development; Systems engineering; Investigations; Information and communication technologies; ICT's; Declarative debugging; Abstract diagnosis; Abstract interpretation; Functional logic language; Multi-paradigm programming; Operational semantics; Fixed point semantics
Enlace al recurso
Fuente del recurso
- Revista Colombiana de Computación; Vol. 5 Núm. 2 (2004): Revista Colombiana de Computación; 1-21
Citación
Colecciones
Aprobación
Revisión
Complementado por
Referenciado por
Licencia Creative Commons
Excepto donde se indique lo contrario, la licencia de este ítem se describe como Attribution-NonCommercial-ShareAlike 4.0 International