- -

A conditional slicing tool for Maude

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

A conditional slicing tool for Maude

Show simple item record

Files in this item

dc.contributor.advisor Alpuente Frasnedo, María es_ES
dc.contributor.advisor Frechina Navarro, Francisco es_ES
dc.contributor.author Sapiña Sanchis, Julia es_ES
dc.date.accessioned 2012-10-02T07:09:17Z
dc.date.available 2012-10-02T07:09:17Z
dc.date.created 2012-08-26
dc.date.issued 2012-10-02
dc.identifier.uri http://hdl.handle.net/10251/17356
dc.description.abstract In this work we develop Julienne, an online trace slicer for the high performance rewriting logic language Maude. Trace slicing is a widely used technique for execution trace analysis that is effectively used in program debugging, analysis and comprehension. Our slicing tool allows us to systematically trace back reverse dependences and causality along Maude computation traces by means of an algorithm that dynamically simplifies the trace and elides useless data that do not influence the final result. We describe the main facilities provided by the tool as well as the features and architecture of the tool. The tool is particularly suitable for analyzing complex, textually large execution traces such as those delivered by Maude model checkers. es_ES
dc.format.extent 50 es_ES
dc.language Inglés es_ES
dc.rights Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) es_ES
dc.subject Slicing es_ES
dc.subject Rewriting es_ES
dc.subject Logic es_ES
dc.subject Maude es_ES
dc.subject Julienne es_ES
dc.subject.other Ingeniería Informática-Enginyeria Informàtica es_ES
dc.title A conditional slicing tool for Maude es_ES
dc.type Proyecto/Trabajo fin de carrera/grado es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica es_ES
dc.description.bibliographicCitation Sapiña Sanchis, J. (2012). A conditional slicing tool for Maude. http://hdl.handle.net/10251/17356. es_ES
dc.description.accrualMethod Archivo delegado es_ES


This item appears in the following Collection(s)

Show simple item record