- -

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne

Show full item record

Alpuente Frasnedo, M.; Ballis, D.; Frechina, F.; Sapiña Sanchis, J. (2013). Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. En Programming Languages and Systems. Springer. 121-124. doi:10.1007/978-3-642-37036-6_7

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

Files in this item

Item Metadata

Title: Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne
Author:
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Issued date:
Abstract:
We present iJulienne, a trace analyzer for conditional rewriting logic theories that can be used to compute abstract views of Maude executions that help users understand and debug programs. Given a Maude execution trace ...[+]
Copyrigths: Reserva de todos los derechos
ISBN: 978-3-642-37035-9
Source:
Programming Languages and Systems. (issn: 0302-9743 )
DOI: 10.1007/978-3-642-37036-6_7
Publisher:
Springer
Publisher version: http://link.springer.com/chapter/10.1007/978-3-642-37036-6_7
Conference name: 22nd European Symposium on Programming (ESOP 2013)
Conference place: Rome, Italy
Conference date: March 16-24, 2013
Series: Lecture Notes in Computer Science;7792
Project ID: info:eu-repo/grantAgreement/EC/FP7/246016
Description: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-37036-6_7
Type: Capítulo de libro Comunicación en congreso

This item appears in the following Collection(s)

Show full item record