- -

Algorithmic debugging generalized

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Algorithmic debugging generalized

Show full item record

Insa Cabrera, D.; Silva, J. (2018). Algorithmic debugging generalized. Journal of Logical and Algebraic Methods in Programming. 97:85-104. https://doi.org/10.1016/j.jlamp.2018.02.003

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/121763

Files in this item

Item Metadata

Title: Algorithmic debugging generalized
Author: Insa Cabrera, David 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 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 ...[+]
Subjects: Algorithmic debugging , Transformation , Generalization
Copyrigths: Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)
Source:
Journal of Logical and Algebraic Methods in Programming. (issn: 2352-2208 )
DOI: 10.1016/j.jlamp.2018.02.003
Publisher:
Elsevier
Publisher version: https://doi.org/10.1016/j.jlamp.2018.02.003
Project ID:
GV/PROMETEO/2011/052
AEI/TIN2016-76843-C4-1-R
MINECO/TIN2013-44742-C4-1-R
Thanks:
This work has been partially supported by the EU (FEDER) and the Spanish Ministerio de Economia y Competitividad under grants TIN2013-44742-C4-1-R and TIN2016-76843-C4-1-12, and by the Generalitat Valenciana under grant ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record