- -

Backward Trace Slicing for Rewriting Logic Theories -Technical report -

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Backward Trace Slicing for Rewriting Logic Theories -Technical report -

Mostrar el registro sencillo del ítem

Ficheros en el ítem

dc.contributor.author Alpuente Frasnedo, María
dc.contributor.author Ballis, D.
dc.contributor.author Espert, J.
dc.contributor.author Romero, D.
dc.date.accessioned 2011-04-19T13:19:02Z
dc.date.available 2011-04-19T13:19:02Z
dc.date.issued 2011-04-19
dc.identifier.uri http://hdl.handle.net/10251/10769
dc.description.abstract Trace slicing is a widely used technique for execution trace analysis that is effectively used in program debugging, analysis and comprehension. In this paper, we present a backward trace slicing technique that can be used for the analysis of Rewriting Logic theories. Our trace slicing technique allows us to systematically trace back rewrite sequences modulo equational axioms (such as associativity and commutativity) by means of an algorithm that dynamically simplifies the traces by detecting control and data dependencies, and dropping useless data that do not influence the final result. Our methodology is particularly suitable for analyzing complex, textually-large system computations such as those delivered as counter-example traces by Maude model-checkers. es_ES
dc.language Inglés es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Trace slicing en_EN
dc.subject Rewriting logic en_EN
dc.title Backward Trace Slicing for Rewriting Logic Theories -Technical report - es_ES
dc.type Informe 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ó
dc.description.bibliographicCitation Alpuente Frasnedo, M.; Ballis, D.; Espert, J.; Romero, D. (2011). Backward Trace Slicing for Rewriting Logic Theories -Technical report -. http://hdl.handle.net/10251/10769 es_ES


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

Mostrar el registro sencillo del ítem