Backward Trace Slicing for Rewriting Logic Theories -Technical report -

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 all...

ver descrição completa

Detalhes bibliográficos
Autores: Alpuente Frasnedo, María|||0000-0002-9268-1178, Ballis, Demis, Espert, Javier, Romero, Daniel
Tipo de documento: relatório científico
Data de publicação:2011
País:España
Recursos:Universitat Politècnica de València (UPV)
Repositório:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Idioma:inglês
OAI Identifier:oai:riunet.upv.es:10251/10770
Acesso em linha:https://riunet.upv.es/handle/10251/10770
Access Level:Acceso aberto
Palavra-chave:Trace slicing, rewriting logic
id ES_e40123fe4399d2d00b1e14e6015e7dcc
oai_identifier_str oai:riunet.upv.es:10251/10770
network_acronym_str ES
network_name_str España
repository_id_str
spelling Backward Trace Slicing for Rewriting Logic Theories -Technical report -Alpuente Frasnedo, María|||0000-0002-9268-1178Ballis, DemisEspert, JavierRomero, DanielTrace slicing, rewriting logicTrace 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.Universitat Politècnica de ValènciaRepositorio Institucional de la Universitat Politècnica de València Riunet20112011-04-19reporthttp://purl.org/coar/resource_type/c_93fcinfo:eu-repo/semantics/reportapplication/pdfhttps://riunet.upv.es/handle/10251/10770reponame:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valénciainstname:Universitat Politècnica de València (UPV)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2Reserva de todos los derechoshttp://rightsstatements.org/vocab/InC/1.0/info:eu-repo/semantics/openAccessoai:riunet.upv.es:10251/107702026-06-13T07:49:27Z
dc.title.none.fl_str_mv Backward Trace Slicing for Rewriting Logic Theories -Technical report -
title Backward Trace Slicing for Rewriting Logic Theories -Technical report -
spellingShingle Backward Trace Slicing for Rewriting Logic Theories -Technical report -
Alpuente Frasnedo, María|||0000-0002-9268-1178
Trace slicing, rewriting logic
title_short Backward Trace Slicing for Rewriting Logic Theories -Technical report -
title_full Backward Trace Slicing for Rewriting Logic Theories -Technical report -
title_fullStr Backward Trace Slicing for Rewriting Logic Theories -Technical report -
title_full_unstemmed Backward Trace Slicing for Rewriting Logic Theories -Technical report -
title_sort Backward Trace Slicing for Rewriting Logic Theories -Technical report -
dc.creator.none.fl_str_mv Alpuente Frasnedo, María|||0000-0002-9268-1178
Ballis, Demis
Espert, Javier
Romero, Daniel
author Alpuente Frasnedo, María|||0000-0002-9268-1178
author_facet Alpuente Frasnedo, María|||0000-0002-9268-1178
Ballis, Demis
Espert, Javier
Romero, Daniel
author_role author
author2 Ballis, Demis
Espert, Javier
Romero, Daniel
author2_role author
author
author
dc.contributor.none.fl_str_mv Repositorio Institucional de la Universitat Politècnica de València Riunet
dc.subject.none.fl_str_mv Trace slicing, rewriting logic
topic Trace slicing, rewriting logic
description 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.
publishDate 2011
dc.date.none.fl_str_mv 2011
2011-04-19
dc.type.none.fl_str_mv report
http://purl.org/coar/resource_type/c_93fc
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://riunet.upv.es/handle/10251/10770
url https://riunet.upv.es/handle/10251/10770
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Reserva de todos los derechos
http://rightsstatements.org/vocab/InC/1.0/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Reserva de todos los derechos
http://rightsstatements.org/vocab/InC/1.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universitat Politècnica de València
publisher.none.fl_str_mv Universitat Politècnica de València
dc.source.none.fl_str_mv reponame:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname:Universitat Politècnica de València (UPV)
instname_str Universitat Politècnica de València (UPV)
reponame_str RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
collection RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869422553257213952
score 15,301629

Registros relacionados