Mostrar el registro sencillo del ítem

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

dc.creatorAlpuente Frasnedo, María
dc.creatorCorrea Zabala, Francisco José
dc.date2004-12-01
dc.date.accessioned2022-03-03T19:57:06Z
dc.date.available2022-03-03T19:57:06Z
dc.identifierhttps://revistas.unab.edu.co/index.php/rcc/article/view/1073
dc.identifier.urihttp://test.repositoriodigital.com:8080/handle/123456789/13847
dc.descriptionPresentamos 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.es-ES
dc.formatapplication/pdf
dc.languagespa
dc.publisherUniversidad Autónoma de Bucaramangaes-ES
dc.relationhttps://revistas.unab.edu.co/index.php/rcc/article/view/1073/1045
dc.rightsDerechos de autor 2004 Revista Colombiana de Computaciónes-ES
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/4.0es-ES
dc.sourceRevista Colombiana de Computación; Vol. 5 No. 2 (2004): Revista Colombiana de Computación (Julio-Diciembre); 1-21en-US
dc.sourceRevista Colombiana de Computación; Vol. 5 Núm. 2 (2004): Revista Colombiana de Computación (Julio-Diciembre); 1-21es-ES
dc.source2539-2115
dc.source1657-2831
dc.titleUn depurador abstracto, inductivo y paramétrico para programas multiparadigmaes-ES
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion


Ficheros en el ítem

FicherosTamañoFormatoVer

No hay ficheros asociados a este ítem.

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem