- -

A Generalized Model for Algorithmic Debugging

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

A Generalized Model for Algorithmic Debugging

Show full item record

Insa Cabrera, D.; Silva Galiana, JF. (2015). A Generalized Model for Algorithmic Debugging. En Logic-Based Program Synthesis and Transformation. Springer. 261-276. doi:10.1007/978-3-319-27436-2_16

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

Files in this item

Item Metadata

Title: A Generalized Model for Algorithmic Debugging
Author:
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:
Algorithmic debugging is a semi-automatic debugging technique that is present in practically all mature programming languages. In this paper we claim that the state of the practice in algorithmic debugging is a step forward ...[+]
Copyrigths: Reserva de todos los derechos
ISBN: 978-3-319-27435-5
Source:
Logic-Based Program Synthesis and Transformation. (issn: 0302-9743 )
DOI: 10.1007/978-3-319-27436-2_16
Publisher:
Springer
Publisher version: http://link.springer.com/chapter/10.1007/978-3-319-27436-2_16
Conference name: 25th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2015). [Revised Selected Papers]
Conference place: Siena, Italy
Conference date: July 13-15, 2015
Series: Lecture Notes in Computer Science;9527
Description: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-27436-2_16
Type: Capítulo de libro Comunicación en congreso

This item appears in the following Collection(s)

Show full item record