- -

A Generalized Model for Algorithmic Debugging

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

A Generalized Model for Algorithmic Debugging

Mostrar el registro completo del ítem

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

Ficheros en el ítem

Metadatos del ítem

Título: A Generalized Model for Algorithmic Debugging
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
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 ...[+]
Derechos de uso: Reserva de todos los derechos
ISBN: 978-3-319-27435-5
Fuente:
Logic-Based Program Synthesis and Transformation. (issn: 0302-9743 )
DOI: 10.1007/978-3-319-27436-2_16
Editorial:
Springer
Versión del editor: http://link.springer.com/chapter/10.1007/978-3-319-27436-2_16
Título del congreso: 25th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2015). [Revised Selected Papers]
Lugar del congreso: Siena, Italy
Fecha congreso: July 13-15, 2015
Serie: Lecture Notes in Computer Science;9527
Descripción: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-27436-2_16
Patrocinador:
EU (FEDER) and the Spanish Ministerio de Economía y Competitividad/ TIN2013-44742-C4-1-R
Generalitat Valenciana/ PROMETEOII/2015/013
Spanish Ministerio de Educación/ FPU/ AP2010- 4415
Tipo: Capítulo de libro Comunicación en congreso

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem