- -

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: ESOP2013-autor.pdf
Tamaño: 301.1Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir
[Cerrado]
Nombre: ESOP2013.pdf
Tamaño: 119.3Kb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor
dc.contributor.author Alpuente Frasnedo, María es_ES
dc.contributor.author Ballis, Demis es_ES
dc.contributor.author Frechina, F. es_ES
dc.contributor.author Sapiña Sanchis, Julia es_ES
dc.date.accessioned 2016-10-03T12:50:09Z
dc.date.available 2016-10-03T12:50:09Z
dc.date.issued 2013
dc.identifier.isbn 978-3-642-37035-9
dc.identifier.issn 0302-9743
dc.identifier.uri http://hdl.handle.net/10251/70944
dc.description The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-37036-6_7 es_ES
dc.description.abstract We present iJulienne, a trace analyzer for conditional rewriting logic theories that can be used to compute abstract views of Maude executions that help users understand and debug programs. Given a Maude execution trace and a slicing criterion which consists of a set of target symbols occurring in a selected state of the trace, iJulienne is able to track back reverse dependences and causality along the trace in order to incrementally generate highly reduced program and trace slices that reconstruct all and only those pieces of information that are needed to deliver the symbols of interest. iJulienne is also endowed with a trace querying mechanism that increases flexibility and reduction power and allows program runs to be examined at the appropriate level of abstraction. es_ES
dc.description.sponsorship This work has been partially supported by the EU (FEDER) and the Spanish MEC project ref. TIN2010-21062-C02-02, and Generalitat Valenciana ref. PROMETEO2011/052, and was carried out during the tenure of D. Ballis’ ERCIM ”Alain Bensoussan” Postdoctoral Fellowship. The research leading to these results has received funding from the EU 7th Framework Programme (FP7/2007-2013) under agreement n. 246016. F. Frechina is supported by FPU-ME grant AP2010-5681. es_ES
dc.format.extent 4 es_ES
dc.language Inglés es_ES
dc.publisher Springer es_ES
dc.relation MEC/TIN2010-21062-C02-02 es_ES
dc.relation.ispartof Programming Languages and Systems es_ES
dc.relation.ispartofseries Lecture Notes in Computer Science;7792
dc.rights Reserva de todos los derechos es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne es_ES
dc.type Capítulo de libro es_ES
dc.type Comunicación en congreso es_ES
dc.identifier.doi 10.1007/978-3-642-37036-6_7
dc.relation.projectID info:eu-repo/grantAgreement/EC/FP7/246016/EU/Alain Bensoussan Career Development Enhancer/ 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/MECD//AP2010-5681/ES/AP2010-5681/ 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.contributor.affiliation Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica es_ES
dc.description.bibliographicCitation Alpuente Frasnedo, M.; Ballis, D.; Frechina, F.; Sapiña Sanchis, J. (2013). Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. En Programming Languages and Systems. Springer. 121-124. https://doi.org/10.1007/978-3-642-37036-6_7 es_ES
dc.description.accrualMethod S es_ES
dc.relation.conferencename 22nd European Symposium on Programming (ESOP 2013) es_ES
dc.relation.conferencedate March 16-24, 2013 es_ES
dc.relation.conferenceplace Rome, Italy es_ES
dc.relation.publisherversion http://link.springer.com/chapter/10.1007/978-3-642-37036-6_7 es_ES
dc.description.upvformatpinicio 121 es_ES
dc.description.upvformatpfin 124 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.relation.senia 255004 es_ES
dc.contributor.funder European Regional Development Fund es_ES
dc.contributor.funder Ministerio de Educación y Ciencia es_ES
dc.contributor.funder Generalitat Valenciana es_ES
dc.contributor.funder European Research Consortium for Informatics and Mathematics es_ES
dc.contributor.funder European Commission es_ES
dc.description.references Alpuente, M., Ballis, D., Espert, J., Romero, D.: Model-Checking Web Applications with Web-TLR. In: Bouajjani, A., Chin, W.-N. (eds.) ATVA 2010. LNCS, vol. 6252, pp. 341–346. Springer, Heidelberg (2010) es_ES
dc.description.references Alpuente, M., Ballis, D., Espert, J., Romero, D.: Backward Trace Slicing for Rewriting Logic Theories. In: Bjørner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS, vol. 6803, pp. 34–48. Springer, Heidelberg (2011) es_ES
dc.description.references Alpuente, M., Ballis, D., Frechina, F., Romero, D.: Backward Trace Slicing for Conditional Rewrite Theories. In: Bjørner, N., Voronkov, A. (eds.) LPAR-18 2012. LNCS, vol. 7180, pp. 62–76. Springer, Heidelberg (2012) es_ES
dc.description.references Alpuente, M., Ballis, D., Frechina, F., Romero, D.: Julienne: A Trace Slicer for Conditional Rewrite Theories. In: Giannakopoulou, D., Méry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 28–32. Springer, Heidelberg (2012) es_ES
dc.description.references Alpuente, M., Ballis, D., Frechina, F., Romero, D.: Using Conditional Trace Slicing for Improving Maude Programs. Science of Comp. Progr. (to appear, 2013) es_ES
dc.description.references The i julienne website (2013), http://safe-tools.dsic.upv.es/iJulienne es_ES
dc.description.references Korel, B., Laski, J.: Dynamic Program Slicing. Inf. Process. Lett. 29(3), 155–163 (1988) es_ES


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

Mostrar el registro sencillo del ítem