The New Generation of Algorithmic Debuggers (Keynote)

Author Josep Silva Galiana

Thumbnail PDF


  • Filesize: 189 kB
  • 2 pages

Document Identifiers

Author Details

Josep Silva Galiana

Cite AsGet BibTex

Josep Silva Galiana. The New Generation of Algorithmic Debuggers (Keynote). In 1st Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 21, p. 3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


Algorithmic debugging is a debugging technique that has been extended to practically all programming paradigms. Roughly speaking, the technique constructs an internal representation of all (sub)computations performed during the execution of a buggy program; and then, it asks the programmer about the correctness of such computations. The answers of the programmer guide the search for the bug until it is isolated by discarding correct parts of the program. After twenty years of research in algorithmic debugging many different techniques have appeared to improve the original proposal. Recent advances in the internal architecture of algorithmic debuggers face the problem of scalability with great improvements in the performance thanks to the use of static transformations of the internal data structures used. The talk will present a detailed comparison of the last algorithmic debugging techniques analyzing their differences, their costs, and how can they be integrated into a real algorithmic debugger.
  • Debugging
  • Programming
  • Program Correction


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail