- -

Slicing slices, an incremental backward trace slicing methodology for rwl computations

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Slicing slices, an incremental backward trace slicing methodology for rwl computations

Show full item record

Sapiña Sanchis, J. (2013). Slicing slices, an incremental backward trace slicing methodology for rwl computations. http://hdl.handle.net/10251/44971.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/44971

Files in this item

Item Metadata

Title: Slicing slices, an incremental backward trace slicing methodology for rwl computations
Author:
Director(s): Frechina Navarro, Francisco Alpuente Frasnedo, María
UPV Unit: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Read date / Event date:
2013-07-10
Issued date:
Abstract:
[EN] Execution traces are an important source of information for program understanding and debugging. However, they have as an important drawback that they are commonly huge and complex, making their manual analysis ...[+]


[ES] Las trazas de ejecución son una importante fuente de información para el entendimiento y depuración de los programas. Sin embargo, poseen el importante inconveniente de ser habitualmente enormes y complejas, haciendo ...[+]
Subjects: Fragmentación de trazas , Lógica de reescritura , Depuración , Trace slicing , Rewriting logic , Debugging
Copyrigths: Reconocimiento - No comercial - Sin obra derivada (by-nc-nd)
degree: Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes d'Informació
Type: Tesis de máster

This item appears in the following Collection(s)

Show full item record