- -

Listar por palabra clave "Algorithmic debugging"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Algorithmic debugging"

Ordenar por:Orden:Resultados:

  • thumb
    A Survey of Algorithmic Debugging 
    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 ...
  • thumb
    Advanced Techniques for Algorithmic Debugging 
    Insa Cabrera, David (Universitat Politècnica de València, 2012-05-23)
    Algorithmic Debugging (a.k.a. Declarative Debugging) is a semi-automatic debugging technique that allows the programmer to isolate the code where a bug is located without the need to see the source code. To do so, the ...
  • thumb
    Algorithmic debugging generalized 
    Insa Cabrera, David; Silva, Josep (Elsevier, 2018)
    [EN] Algorithmic debugging is a semi-automatic debugging technique that abstracts the operational details of computations, allowing the programmers to debug their code from an abstract point of view. However, its use in ...
  • thumb
    An Analysis of the Current Program Slicing and Algorithmic Debugging Based Techniques 
    Silva Galiana, Josep Francesc (Universitat Politècnica de València, 2012-01-10)
    This thesis presents a classification of program slicing based techniques. The classification allows us to identify the differences between existing techniques, but it also allows us to predict new slicing techniques. The ...