Caballero, R.; Riesco, A.; Silva, J. (2017). A Survey of Algorithmic Debugging. ACM Computing Surveys. 50(4):1-35. https://doi.org/10.1145/3106740
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/151050
Title:
|
A Survey of Algorithmic Debugging
|
Author:
|
Caballero, Rafael
Riesco, Adrián
Silva, Josep
|
UPV Unit:
|
Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
|
Issued date:
|
|
Abstract:
|
[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 ...[+]
[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 many diferent programming paradigms and with applications out of the program debugging feld. We describe the general framework and the main issues related to the implementations in diferent 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.
[-]
|
Subjects:
|
Languages
,
Theory
,
Algorithmic debugging
,
Declarative debugging
,
Software engineering
|
Copyrigths:
|
Reserva de todos los derechos
|
Source:
|
ACM Computing Surveys. (issn:
0360-0300
)
|
DOI:
|
10.1145/3106740
|
Publisher:
|
Association for Computing Machinery
|
Publisher version:
|
https://doi.org/10.1145/3106740
|
Project ID:
|
MINECO/TIN2013-44742-C4-1-R
...[+]
MINECO/TIN2013-44742-C4-1-R
MINECO/TIN2016-76843-C4-1-R
MINECO/TIN2012-39391-C04-04
MINECO/TIN2015-67522-C3-3-R
CAM/S2013/ICE-2731
GENERALITAT VALENCIANA/PROMETEOII/2015/013
[-]
|
Description:
|
"© ACM, 2017. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM Computing Surveys, {50, 4, 2017} https://dl.acm.org/doi/10.1145/3106740"
|
Thanks:
|
This work has been partially supported by the EU (FEDER) and the Spanish Ministerio de Economia y Competitividad under grant TIN2013-44742-C4-1-R, TIN2016-76843-C4-1-R, StrongSoft (TIN2012-39391-C04-04), and TRACES ...[+]
This work has been partially supported by the EU (FEDER) and the Spanish Ministerio de Economia y Competitividad under grant TIN2013-44742-C4-1-R, TIN2016-76843-C4-1-R, StrongSoft (TIN2012-39391-C04-04), and TRACES (TIN2015-67522-C3-3-R) by the Generalitat Valenciana under grant PROMETEO-II/2015/013 (SmartLogic) and by the Comunidad de Madrid project N-Greens Software-CM (S2013/ICE-2731).
[-]
|
Type:
|
Artículo
|