- -

Enhancing declarative debugging with loop expansion and tree compression

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

Compartir/Enviar a

Citas

Estadísticas

Enhancing declarative debugging with loop expansion and tree compression

Mostrar el registro completo del ítem

Insa Cabrera, D.; Silva Galiana, JF.; Tomás Franco, C. (2013). Enhancing declarative debugging with loop expansion and tree compression. En Logic-Based Program Synthesis and Transformation. Springer Verlag (Germany). 71-88. doi:10.1007/978-3-642-38197-3_6

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

Ficheros en el ítem

Metadatos del ítem

Título: Enhancing declarative debugging with loop expansion and tree compression
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:
Derechos de uso: Reserva de todos los derechos
ISBN: 978-3-642-38196-6
Fuente:
Logic-Based Program Synthesis and Transformation. (issn: 0302-9743 )
DOI: 10.1007/978-3-642-38197-3_6
Editorial:
Springer Verlag (Germany)
Versión del editor: http://link.springer.com/chapter/10.1007%2F978-3-642-38197-3_6
Título del congreso: 22nd International Symposium, LOPSTR 2012
Lugar del congreso: Leuven, Belgium
Fecha congreso: September 18-20, 2012
Serie: Lecture Notes in Computer Science;7844
Tipo: Capítulo de libro

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

Mostrar el registro completo del ítem