- -

Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis

Show full item record

Alpuente Frasnedo, M.; Ballis, D.; Frechina Navarro, F.; Sapiña Sanchis, J. (2015). Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis. En Logic, Rewriting, and Concurrency. Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday. 72-96. doi:10.1007/978-3-319-23165-5_3

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

Files in this item

Item Metadata

Title: Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis
Author:
Editor: Springer-Verlag
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:
This paper introduces the idea of using assertion checking for enhancing the dynamic slicing of Maude computation traces. Since trace slicing can greatly simplify the size and complexity of the analyzed traces, our methodology ...[+]
Subjects: Rewriting Logic , Error Diagnosis , Assertion Chackin , Automated Slicing
Copyrigths: Reserva de todos los derechos
ISBN: 978-3-319-23164-8
Source:
Logic, Rewriting, and Concurrency. Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday. (issn: 0302-9743 )
DOI: 10.1007/978-3-319-23165-5_3
Publisher version: http://link.springer.com/chapter/10.1007/978-3-319-23165-5_3
Series: Lecture Notes in Computer Science;9200
Description: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-23165-5_3
Type: Capítulo de libro

This item appears in the following Collection(s)

Show full item record