- -

Exploring Conditional Rewriting Logic Computations

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by


Exploring Conditional Rewriting Logic Computations

Show full item record

Alpuente Frasnedo, M.; Ballis, D.; Frechina Navarro, F.; Sapina, J. (2015). Exploring Conditional Rewriting Logic Computations. Journal of Symbolic Computation. 69:3-39. doi:10.1016/j.jsc.2014.09.028

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

Files in this item

Item Metadata

Title: Exploring Conditional Rewriting Logic Computations
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:
[EN] Trace exploration is concerned with techniques that allow computation traces to be dynamically searched for specific contents. Depending on whether the exploration is carried backward or forward, trace exploration ...[+]
Subjects: Rewriting logic , Trace exploration , Maude , Conditional rewrite theories
Copyrigths: Reserva de todos los derechos
Journal of Symbolic Computation. (issn: 0747-7171 )
DOI: 10.1016/j.jsc.2014.09.028
Publisher version: http://dx.doi.org/10.1016/j.jsc.2014.09.028
Project ID: info:eu-repo/grantAgreement/EC/FP7/246016/EU
This work has been partially supported by the EU (FEDER) and the Spanish MEC project Ref. TIN2010-21062-C02-02, the Spanish MICINN complementary action Ref. TIN2009-07495-E, and by Generalitat Valenciana Ref. PROMETEO2011/052. ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record