Caballero, Rafael; Riesco, Adrián; Silva, Josep(Association for Computing Machinery, 2017-11)
[EN] 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 ftting ...
Algorithmic debugging is a debugging technique that uses a
data structure representing all computations performed during the execution
of a program. This data structure is the so-called Execution Tree
and it strongly ...