- -

Using conditional trace slicing for improving Maude programs

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Using conditional trace slicing for improving Maude programs

Show full item record

Alpuente Frasnedo, M.; Ballis, D.; Frechina, F.; Romero, DO. (2014). Using conditional trace slicing for improving Maude programs. Science of Computer Programming. 80:385-415. doi:10.1016/j.scico.2013.09.018

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

Files in this item

Item Metadata

Title: Using conditional trace slicing for improving Maude programs
Author:
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
[EN] Understanding the behavior of software is important for the existing software to be improved. In this paper, we present a trace slicing technique that is suitable for analyzing complex, textually-large computations ...[+]
Subjects: Trace slicing , Program debugging and comprehension , Rewriting logic
Copyrigths: Reserva de todos los derechos
Source:
Science of Computer Programming. (issn: 0167-6423 )
DOI: 10.1016/j.scico.2013.09.018
Publisher:
Elsevier
Publisher version: http://dx.doi.org/10.1016/j.scico.2013.09.018
Project ID: info:eu-repo/grantAgreement/EC/FP7/246016
Thanks:
This work has been partially supported by the EU (FEDER) and the Spanish MEC project ref. TIN2010-21062-C02-02, and by Generalitat Valenciana ref. PROMETEO2011/052. This work was carried out during the tenure of D. Ballis' ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record