- -

Using conditional trace slicing for improving Maude programs

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

Compartir/Enviar a

Citas

Estadísticas

Using conditional trace slicing for improving Maude programs

Mostrar el registro completo del ítem

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

Ficheros en el ítem

Metadatos del ítem

Título: Using conditional trace slicing for improving Maude programs
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
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 in ...[+]
Palabras clave: Trace slicing , Program debugging and comprehension , Rewriting logic
Derechos de uso: Reserva de todos los derechos
Fuente:
Science of Computer Programming. (issn: 0167-6423 )
DOI: 10.1016/j.scico.2013.09.018
Editorial:
Elsevier
Versión del editor: http://dx.doi.org/10.1016/j.scico.2013.09.018
Código del Proyecto: info:eu-repo/grantAgreement/EC/FP7/246016
Patrocinador:
EU (FEDER)
Spanish MEC [TIN2010-21062-C02-02]
Generalitat Valenciana [PROMETEO2011/052]
European Union Seventh Framework Programme (FP7/2007-2013) [246016]
FPU-ME [AP2010-5681]
FPI-MEC [BES-2008-004860]
Tipo: Artículo

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

Mostrar el registro completo del ítem