- -

Inspecting Maude Variants with GLINTS

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Inspecting Maude Variants with GLINTS

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

Ficheros en el ítem

Metadatos del ítem

Título: Inspecting Maude Variants with GLINTS
Autor: Alpuente Frasnedo, María Cuenca-Ortega, Angel Escobar Román, Santiago Sapiña-Sanchis, Julia
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
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: Rewriting Logic , Narrowing , Variant , Maude , Embedding , Finite Variant Property
Derechos de uso: Reserva de todos los derechos
Fuente:
Theory and Practice of Logic Programming. (issn: 1471-0684 )
DOI: 10.1017/S147106841700031X
Editorial:
Cambridge University Press
Versión del editor: https://doi.org/10.1017/S147106841700031X
Título del congreso: 33rd International Conference on Logic Programming (ICLP 2017)
Lugar del congreso: Melbourne, Australia
Fecha congreso: August 28-September 01,2017
Código del Proyecto:
info:eu-repo/grantAgreement/MINECO//TIN2015-69175-C4-1-R/ES/SOLUCIONES EFECTIVAS BASADAS EN LA LOGICA/
info:eu-repo/grantAgreement/GVA//PROMETEOII%2F2015%2F013/ES/SmartLogic: Logic Technologies for Software Security and Performance/
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: Artículo Comunicación en congreso

recommendations

 

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem