- -

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne

Show simple item record

Files in this item

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.format.extent 4 es_ES
dc.language Inglés es_ES
dc.publisher Springer es_ES
dc.relation EU/FEDER es_ES
dc.relation Spanish MEC/TIN2010-21062-C02-02 es_ES
dc.relation Generalitat Valenciana/PROMETEO2011/052 es_ES
dc.relation ERCIM ”Alain Bensoussan” Postdoctoral Fellowship es_ES
dc.relation European Commission/FP7/2007-2013/246016 es_ES
dc.relation FPU-ME/AP2010-5681 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 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. doi:10.1007/978-3-642-37036-6_7 es_ES
dc.description.accrualMethod Senia 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


This item appears in the following Collection(s)

Show simple item record