Declarative debugging



Downloads per month over past year

Caballero Roldán, Rafael (2011) Declarative debugging. In Ciclo de conferencias de la Facultad de Informática 2010/2011, 21 de septiembre de 2011, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Submitted)

Official URL:


Declarative debugging is a debugging technique that abstracts the execution details to focus on the semantic meaning of the program components. It was frst proposed in the feld of Logic Programming, but its general structure has been later extended to other programming paradigms, becoming an active area of research. The technique relies on a data structure, the computation tree, that represents some computation producing an unexpected result. This tree is traversed by asking questions to the user about the correction of the intermediate computation steps until the source of the bug has been found. We show how instances of this general technique can be defned for diferent programming paradigms simply adapting the defnition of computation tree. In particular we present the instances that have been developed by the Declarative Programming Group at the University Complutense of Madrid, which include functional-logic languages (Toy and Curry), object oriented languages (Java), deductive databases (Datalog) and SQL views. Bachelor's degree in Computer Science by the Universidad Politécnica de Madrid and Ph.D in Mathematics by the Universidad Complutense de Madrid. Currently Lecturer (Prof. Contratado Doctor) in the Computer Science Department at the Faculty of Computer Science. Research areas of interest: functional-logic programming, declarative and algorithmic debugging, qualifed declarative programming and in general declarative languages including uncertainty, SQL debugging and test-case generation, embedding of XML query languages in declarative languages, program transformation techniques for declarative languages.

Item Type:Conference or Workshop Item (Other)
Additional Information:

Ciclo de conferencias de la Facultad de Informática 2010/2011 , coordinado por Francisco Javier López Fraguas

Uncontrolled Keywords:Lenguajes lógico funcionales, Programación declarativa, Depuración declarativa, Programación lógica, Semántica de los lenguajes de programación, Declarative debugging, Logic Programming, Functional logic programming, Declarative programming, Semantic of the programmming languages
Subjects:Sciences > Computer science > Programming languages (Electronic computers)
Sciences > Computer science > Computer programming
ID Code:22793
Deposited On:13 Sep 2013 11:23
Last Modified:13 Sep 2013 11:23

Origin of downloads

Repository Staff Only: item control page