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
Title: | Algorithmic debugging generalized | |
Author: | Insa Cabrera, David | |
UPV Unit: |
|
|
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: |
|
|
Copyrigths: | Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) | |
Source: |
|
|
DOI: |
|
|
Publisher: |
|
|
Publisher version: | https://doi.org/10.1016/j.jlamp.2018.02.003 | |
Project ID: |
|
|
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: |
|