- -

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

  • Estadisticas de Uso

Enhancing declarative debugging with loop expansion and tree compression

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: paper.pdf
Tamaño: 991.5Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir
dc.contributor.author Insa Cabrera, David es_ES
dc.contributor.author Silva Galiana, Josep Francesc es_ES
dc.contributor.author Tomás Franco, César es_ES
dc.date.accessioned 2014-03-27T07:56:36Z
dc.date.issued 2013
dc.identifier.isbn 978-3-642-38196-6
dc.identifier.issn 0302-9743
dc.identifier.uri http://hdl.handle.net/10251/36674
dc.description.sponsorship This work has been partially supported by the Spanish Ministerio de Econom´ıa y Competitividad (Secretar´ıa de Estado de Investigaci´on, Desarrollo e Innovaci´on) under grant TIN2008-06622-C03-02 and by the Generalitat Valenciana under grant PROMETEO/2011/052. David Insa was partially supported by the Spanish Ministerio de Eduaci´on under FPU grant AP2010-4415
dc.language Inglés es_ES
dc.publisher Springer Verlag (Germany) es_ES
dc.relation.ispartof Logic-Based Program Synthesis and Transformation es_ES
dc.relation.ispartofseries Lecture Notes in Computer Science;7844
dc.rights Reserva de todos los derechos es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title Enhancing declarative debugging with loop expansion and tree compression es_ES
dc.type Capítulo de libro es_ES
dc.embargo.lift 10000-01-01
dc.embargo.terms forever es_ES
dc.identifier.doi 10.1007/978-3-642-38197-3_6
dc.relation.projectID info:eu-repo/grantAgreement/MICINN//TIN2008-06622-C03-02/ES/VERIFICACION Y DEPURACION AGILES ORIENTADAS A MEJORAR LA SEGURIDAD DEL SOFTWARE/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/GVA//PROMETEO%2F2011%2F052/ES/LOGICEXTREME: TECNOLOGIA LOGICA Y SOFTWARE SEGURO/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/ME//AP2010-4415/ES/AP2010-4415/ / es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.description.bibliographicCitation 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. https://doi.org/10.1007/978-3-642-38197-3_6 es_ES
dc.description.accrualMethod S es_ES
dc.relation.conferencename 22nd International Symposium, LOPSTR 2012 es_ES
dc.relation.conferencedate September 18-20, 2012 es_ES
dc.relation.conferenceplace Leuven, Belgium es_ES
dc.relation.publisherversion http://link.springer.com/chapter/10.1007%2F978-3-642-38197-3_6 es_ES
dc.description.upvformatpinicio 71 es_ES
dc.description.upvformatpfin 88 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.relation.senia 249247
dc.contributor.funder Ministerio de Economía y Competitividad
dc.contributor.funder Generalitat Valenciana
dc.contributor.funder Ministerio de Educación
dc.description.references Binks, D.: Declarative Debugging in Gödel. PhD thesis, University of Bristol (1995) es_ES
dc.description.references Calejo, M.: A Framework for Declarative Prolog Debugging. PhD thesis, New University of Lisbon (1992) es_ES
dc.description.references Davie, T., Chitil, O.: Hat-delta: One Right Does Make a Wrong. In: Butterfield, A. (ed.) Draft Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages, IFL 2005, p. 11. Tech. Report No: TCD-CS-2005-60, University of Dublin, Ireland (September 2005) es_ES
dc.description.references Davie, T., Chitil, O.: Hat-delta: One Right Does Make a Wrong. In: Seventh Symposium on Trends in Functional Programming, TFP 2006 (April 2006) es_ES
dc.description.references Harrison, P.G., Khoshnevisan, H.: A new approach to recursion removal. Theor. Comput. Sci. 93(1), 91–113 (1992) es_ES
dc.description.references Hirunkitti, V., Hogger, C.J.: A Generalised Query Minimisation for Program Debugging. In: Adsul, B. (ed.) AADEBUG 1993. LNCS, vol. 749, pp. 153–170. Springer, Heidelberg (1993) es_ES
dc.description.references Insa, D., Silva, J.: An Algorithmic Debugger for Java. In: Proc. of the 26th IEEE International Conference on Software Maintenance, pp. 1–6 (2010) es_ES
dc.description.references Insa, D., Silva, J.: Debugging with Incomplete and Dynamically Generated Execution Trees. In: Proc. of the 20th International Symposium on Logic-based Program Synthesis and Transformation, LOPSTR 2010, Austria (2010) es_ES
dc.description.references Insa, D., Silva, J.: A Transformation of Iterative Loops into Recursive Loops. Technical Report DSIC/05/12, Universidad Politécnica de Valencia (2012), http://www.dsic.upv.es/~jsilva/research.htm#techs es_ES
dc.description.references Insa, D., Silva, J., Tomás, C.: Enhancing Declarative Debugging with Loop Expansion and Tree Compression. Technical Report DSIC/11/12, Universidad Politécnica de Valencia (2012), http://www.dsic.upv.es/~jsilva/research.htm#techs es_ES
dc.description.references Liu, Y.A., Stoller, S.D.: From recursion to iteration: what are the optimizations? In: Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 2000, pp. 73–82. ACM, New York (2000) es_ES
dc.description.references Lloyd, J.W.: Declarative error diagnosis. New Gen. Comput. 5(2), 133–154 (1987) es_ES
dc.description.references Nilsson, H.: Declarative Debugging for Lazy Functional Languages. PhD thesis, Linköping, Sweden (May 1998) es_ES
dc.description.references NIST: The Economic Impacts of Inadequate Infrastructure for Software Testing. USA National Institute of Standards and Technology, NIST Planning Report 02-3 (May 2002) es_ES
dc.description.references Riesco, A., Verdejo, A., Martí-Oliet, N., Caballero, R.: Declarative Debugging of Rewriting Logic Specifications. Journal of Logic and Algebraic Programming (September 2011) es_ES
dc.description.references Shapiro, E.Y.: Algorithmic Program Debugging. MIT Press (1982) es_ES
dc.description.references Silva, J.: A Survey on Algorithmic Debugging Strategies. Advances in Engineering Software 42(11), 976–991 (2011) es_ES
dc.description.references Yi, Q., Adve, V., Kennedy, K.: Transforming loops to recursion for multi-level memory hierarchies. In: Proceedings of the SIGPLAN 2000 Conference on Programming Language Design and Implementation, pp. 169–181 (2000) es_ES


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

Mostrar el registro sencillo del ítem