- -

A Survey of Algorithmic Debugging

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

A Survey of Algorithmic Debugging

Show full item record

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

Files in this item

Item Metadata

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 ...[+]
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 ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record