Mostrar el registro completo del ítem
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
Título: | Symbolic Analysis of Maude Theories with Narval | |
Autor: | Ballis, Demis | |
Entidad UPV: |
|
|
Fecha difusión: |
|
|
Resumen: |
[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 ...[+]
|
|
Palabras clave: |
|
|
Derechos de uso: | Reserva de todos los derechos | |
Fuente: |
|
|
DOI: |
|
|
Editorial: |
|
|
Versión del editor: | https://doi.org/10.1017/S1471068419000243 | |
Código del Proyecto: |
|
|
Agradecimientos: |
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 ...[+]
|
|
Tipo: |
|