Declarative Debugging Meets the World

Lux, Wolfgang

doi:10.1016/j.entcs.2008.06.034

Cited by 2 publications

(4 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(1) Using a source-to-source program transformation [Pope 1998;Caballero and Rodríguez-Artalejo 2002;Pope and Naish 2003;Chitil et al 2003;Pope 2006;Lux 2008]. The idea is to transform the program to be debugged, such that the code in charge of each computation returns its associated debugging tree combined with the original result.…”

Section: Implementation Techniquesmentioning

confidence: 99%

“…The first alternative, a source to source transformation, was later explored in detail, given raise to Buddha [Pope 1998;, an algorithmic debugger for Haskell, and also algorithmic debuggers for multi-paradigm languages such as Toy and Curry [Caballero and Rodríguez-Artalejo 2002;Lux 2008]. However, the lack of efficiency of these proposals when considering large realistic programs gave rise to new proposals based on the modification of the compiler, which solves this problem.…”

Section: Functional Programmingmentioning

confidence: 99%

“…Even in the case that the debugger is able to store/access the external source, it still has the problem of how to show it to the user. Although some solutions have been provided in the case of declarative languages [Lux 2008], the general question remains unsolved.…”

Section: Completenessmentioning

confidence: 99%

See 2 more Smart Citations

A Survey of Algorithmic Debugging

2017

View full text Add to dashboard Cite

Algorithmic debugging is a technique proposed in 1982 by E.Y. Shapiro in the context of logic programming. This survey shows how the initial ideas have been developed to become a widespread debugging schema fitting many different programming paradigms, and with applications out of the program debugging field. We describe the general framework and the main issues related to the implementations in different programming paradigms, and discuss several proposed improvements and optimizations. We also review the main algorithmic debugger tools that have been implemented so far and compare their features. From this comparison, we elaborate a summary of desirable characteristics that should be considered when implementing future algorithmic debuggers. Categories and Subject Descriptors: F.3.1 [Theory of Computation]: Logics and meaning of programsspecifying and verifying and reasoning about programs; D.3.1 [Software]: Programming Languages-formal definitions and theory

show abstract

Section: Implementation Techniquesmentioning

confidence: 99%

Section: Functional Programmingmentioning

confidence: 99%

See 1 more Smart Citation

A Survey of Algorithmic Debugging

2017

View full text Add to dashboard Cite

show abstract

“…In practice, the Divide & Query strategy by Hirunkitti and Hogger [44] needs to perform less questions than other search strategies to find a bug, and this is why it has been implemented in almost all algorithmic debuggers (see, e.g., [85,10,24,88,67,13,87,46]). However, in Section 6.1.3 we showed that Divide & Query is not an optimal strategy because it does not take into consideration the structure of the tree.…”

Section: 1 Introductionmentioning

confidence: 99%

Optimization Techniques for Algorithmic Debugging

Cabrera¹

View full text Add to dashboard Cite

To mum and dad, because they always went out of their way to protect and guide us. AgradecimientosCuando terminé la carrera tomé una decisión que cambiaría el rumbo de mi vida, decidí convertirme en doctor. Mucho tiempo ha pasado desde entonces, y no han sido pocas las piedras que me he encontrado por el camino: algunas noches sin dormir, laberintos de los que no podía salir, trabajos que no sabía cómo completar, y montañas y montañas de tareas que nunca se acababan. En definitiva, no sabía dónde me estaba metiendo. A pesar de todo ello, esta ha sido una gran etapa de mi vida que si volviera atrás volvería a emprender, donde he aprendido mucho y he madurado como persona. No puedo decir que lo haya conseguido solo, todo esto se lo debo en gran medida a mucha gente que ha ayudado a que ahora pueda decir con orgullo soy doctor.A las primeras personas a las que quiero agradecérselo es a aquellas que siempre han estado ahí, a mis hermanos Javier y Natalia. Con quienes siempre he podido contar, y quienes me han ayudado cuando he tenido algún problema. Quienes me han sabido dar los mejores consejos y han creído en que podía llegar a lo más alto. Habéis sido un pilar fundamental en mi vida y os agradezco mucho todo el apoyo incondicional que me habéis dado.Una especial mención a quienes me dieron la vida e hicieron que pudiera vivir en este mundo, a mis padres. Disteis lo mejor de vosotros para aguantarme y soportarme, pero también para enseñarme, protegerme y guiarme a lo largo de toda mi vida. Siempre habéis procurado lo mejor para nosotros tres, nos habéis dado buenos consejos, pusisteis vuestro cuerpo y alma en que no nos faltara de nada y en que nos fuera lo mejor posible. Por eso y mucho más, este libro va dedicado a vosotros.Gracias también a todas aquellas personas que no han tenido un impacto directo en esta etapa de mi vida, pero que aún así han estado ahí durante todo este tiempo. Me refiero a mi familia y amigos. Siempre me habéis apoyado, os habéis preocupado por cómo iban transcurriendo estos años y no habéis dudado en echarme una mano cuando ha sido necesario.Si he realizado este doctorado ha sido gracias a quien me ha aceptado en su grupo de investigación. Alguien que ha sabido escuchar mis inquietudes y necesidades. Quien ha sabido gestionar los recursos de los que disponíamos para que nunca nos faltase nada. Gracias Germán por hacer todo lo posible para que todos nos sintiéramos parte de esta pequeña familia.Quería hacer especial mención a una gran persona. Alguien que siempre hizo lo que estuviera en su mano para enseñarme y guiarme en el mundo de la investigación. Sin su ayuda, hoy en día no sería el mismo. Una persona que, por mucho que me duela reconocerlo, es una fuente de inspiración y sabiduría, a la vez que un gran jefe y amigo. Josep (iusep, iuseppe, iussepe, etc.), quería darte las gracias por todos estos años que me has dedicado. Me has enseñado a trabajar en equipo, a esforzarme siempre un poco más y a no rendirme. Durante estosúltimos años no solo me has formado como investigador, sino tam...

show abstract

Declarative Debugging Meets the World

Cited by 2 publications

References 5 publications

A Survey of Algorithmic Debugging

A Survey of Algorithmic Debugging

Optimization Techniques for Algorithmic Debugging

Contact Info

Product

Resources

About