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

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.

• Autores: Alpuente Frasnedo, María; Correa Zabala, Francisco José
• Tipo de recurso: Trabajo de grado de pregrado
• Fecha de publicación: 2004
• Institución: Universidad Autónoma de Bucaramanga - UNAB
• Repositorio: Repositorio UNAB
• Idioma: spa
• OAI Identifier: oai:repository.unab.edu.co:20.500.12749/9033
• Acceso en línea: http://hdl.handle.net/20.500.12749/9033
• Palabra clave: Innovaciones tecnológicas; Ciencia de los computadores; Desarrollo de tecnología; Ingeniería de sistemas; Investigaciones; Tecnologías de la información y las comunicaciones; TIC´s; 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; Innovaciones tecnológicas; Ciencias de la computación; Desarrollo tecnológico; Ingeniería de sistemas; Investigaciones; Tecnologías de la información y la comunicación; Depuración declarativa; Diagnostico abstracto; Interpretación abstracta; Lenguaje lógico funcional; Programación multiparadigma; Semántica operacional; Semántica de punto fijo
• License: Derechos de autor 2004 Revista Colombiana de Computación