- -

Scaling up algorithmic debugging with virtual execution trees

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

Compartir/Enviar a

Citas

Estadísticas

Scaling up algorithmic debugging with virtual execution trees

Mostrar el registro completo del ítem

Insa Cabrera, D.; Silva Galiana, JF. (2011). Scaling up algorithmic debugging with virtual execution trees. En Logic-Based Program Synthesis and Transformation. Springer Verlag (Germany). 6564:149-163. doi:10.1007/978-3-642-20551-4_10

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

Ficheros en el ítem

Metadatos del ítem

Título: Scaling up algorithmic debugging with virtual execution trees
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:
Declarative debugging is a powerful debugging technique that has been adapted to practically all programming languages. However, the technique suffers from important scalability problems in both time and memory. With ...[+]
Palabras clave: Computer science
Derechos de uso: Reserva de todos los derechos
ISBN: 978-3-642-20550-7
Fuente:
Logic-Based Program Synthesis and Transformation. (issn: 0302-9743 )
DOI: 10.1007/978-3-642-20551-4_10
Editorial:
Springer Verlag (Germany)
Versión del editor: http://link.springer.com/chapter/10.1007/978-3-642-20551-4_10
Título del congreso: 20th International Symposium, LOPSTR 2010
Lugar del congreso: Hagenberg, Austria
Fecha congreso: July 23-25, 2010
Serie: Lecture Notes in Computer Science;vo. 6564;
Tipo: Capítulo de libro

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

Mostrar el registro completo del ítem