Mostrar el registro completo del ítem
Alpuente Frasnedo, M.; Cuenca-Ortega, A.; Escobar Román, S.; Sapiña-Sanchis, J. (2017). Inspecting Maude Variants with GLINTS. Theory and Practice of Logic Programming. 17(5-6):689-707. https://doi.org/10.1017/S147106841700031X
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/101705
Título: | Inspecting Maude Variants with GLINTS | |
Autor: | Cuenca-Ortega, Angel | |
Entidad UPV: |
|
|
Fecha difusión: |
|
|
Resumen: |
[EN] This paper introduces GLINTS, a graphical tool for exploring variant narrowing computations in Maude. The most recent version of Maude, version 2.7.1, provides quite sophisticated unification features, including ...[+]
|
|
Palabras clave: |
|
|
Derechos de uso: | Reserva de todos los derechos | |
Fuente: |
|
|
DOI: |
|
|
Editorial: |
|
|
Versión del editor: | https://doi.org/10.1017/S147106841700031X | |
Título del congreso: |
|
|
Lugar del congreso: |
|
|
Fecha congreso: |
|
|
Código del Proyecto: |
|
|
Agradecimientos: |
This work has been partially supported by EU (FEDER) and Spanish MINECO grant TIN 2015-69175-C4-1-R and by Generalitat Valenciana PROMETEO-II/2015/013. Angel Cuenca-Ortega is supported by SENESCYT, Ecuador (scholarship ...[+]
|
|
Tipo: |
|