- -

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/EU
Description: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-37036-6_7
Thanks:
This work has been partially supported by the EU (FEDER) and the Spanish MEC project ref. TIN2010-21062-C02-02, and Generalitat Valenciana ref. PROMETEO2011/052, and was carried out during the tenure of D. Ballis’ ERCIM ...[+]
Type: Capítulo de libro Comunicación en congreso

References

Alpuente, M., Ballis, D., Espert, J., Romero, D.: Model-Checking Web Applications with Web-TLR. In: Bouajjani, A., Chin, W.-N. (eds.) ATVA 2010. LNCS, vol. 6252, pp. 341–346. Springer, Heidelberg (2010)

Alpuente, M., Ballis, D., Espert, J., Romero, D.: Backward Trace Slicing for Rewriting Logic Theories. In: Bjørner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS, vol. 6803, pp. 34–48. Springer, Heidelberg (2011)

Alpuente, M., Ballis, D., Frechina, F., Romero, D.: Backward Trace Slicing for Conditional Rewrite Theories. In: Bjørner, N., Voronkov, A. (eds.) LPAR-18 2012. LNCS, vol. 7180, pp. 62–76. Springer, Heidelberg (2012) [+]
Alpuente, M., Ballis, D., Espert, J., Romero, D.: Model-Checking Web Applications with Web-TLR. In: Bouajjani, A., Chin, W.-N. (eds.) ATVA 2010. LNCS, vol. 6252, pp. 341–346. Springer, Heidelberg (2010)

Alpuente, M., Ballis, D., Espert, J., Romero, D.: Backward Trace Slicing for Rewriting Logic Theories. In: Bjørner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS, vol. 6803, pp. 34–48. Springer, Heidelberg (2011)

Alpuente, M., Ballis, D., Frechina, F., Romero, D.: Backward Trace Slicing for Conditional Rewrite Theories. In: Bjørner, N., Voronkov, A. (eds.) LPAR-18 2012. LNCS, vol. 7180, pp. 62–76. Springer, Heidelberg (2012)

Alpuente, M., Ballis, D., Frechina, F., Romero, D.: Julienne: A Trace Slicer for Conditional Rewrite Theories. In: Giannakopoulou, D., Méry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 28–32. Springer, Heidelberg (2012)

Alpuente, M., Ballis, D., Frechina, F., Romero, D.: Using Conditional Trace Slicing for Improving Maude Programs. Science of Comp. Progr. (to appear, 2013)

The i julienne website (2013), http://safe-tools.dsic.upv.es/iJulienne

Korel, B., Laski, J.: Dynamic Program Slicing. Inf. Process. Lett. 29(3), 155–163 (1988)

[-]

This item appears in the following Collection(s)

Show full item record