- -

Symbolic Analysis of Maude Theories with Narval

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by


Symbolic Analysis of Maude Theories with Narval

Show full item record

Alpuente Frasnedo, M.; Escobar Román, S.; Sapiña-Sanchis, J.; Ballis, D. (2019). Symbolic Analysis of Maude Theories with Narval. Theory and Practice of Logic Programming. 19(5-6):874-890. https://doi.org/10.1017/S1471068419000243

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

Files in this item

Item Metadata

Title: Symbolic Analysis of Maude Theories with Narval
Author: Alpuente Frasnedo, María Escobar Román, Santiago Sapiña-Sanchis, Julia Ballis, Demis
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] Concurrent functional languages that are endowed with symbolic reasoning capabilities such as Maude offer a high-level, elegant, and efficient approach to programming and analyzing complex, highly nondeterministic ...[+]
Subjects: Symbolic reachability analysis , Narrowing , Equational unification , Maude , Rewriting logic
Copyrigths: Reserva de todos los derechos
Theory and Practice of Logic Programming. (issn: 1471-0684 )
DOI: 10.1017/S1471068419000243
Cambridge University Press
Publisher version: https://doi.org/10.1017/S1471068419000243
Project ID:
AEI/RTI2018-094403- B-C32-AR
This work has been partially supported by the EU (FEDER) and the Spanish MCIU under grant RTI2018-094403-B-C32, by the Spanish Generalitat Valenciana under grants PROMETEO/2019/098 and APOSTD/2019/127, and by the US Air ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record