- -

Inspecting Maude Variants with GLINTS

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by


Inspecting Maude Variants with GLINTS

Show full item record

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. doi:10.1017/S147106841700031X

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

Files in this item

Item Metadata

Title: Inspecting Maude Variants with GLINTS
Author: Alpuente Frasnedo, María Cuenca-Ortega, Angel Escobar Román, Santiago Sapiña-Sanchis, Julia
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] 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 ...[+]
Subjects: Rewriting Logic , Narrowing , Variant , Maude , Embedding , Finite Variant Property
Copyrigths: Reserva de todos los derechos
Theory and Practice of Logic Programming. (issn: 1471-0684 )
DOI: 10.1017/S147106841700031X
Cambridge University Press
Publisher version: https://doi.org/10.1017/S147106841700031X
Conference name: 33rd International Conference on Logic Programming (ICLP 2017)
Conference place: Melbourne, Australia
Conference date: August 28-September 01,2017
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 ...[+]
Type: Artículo Comunicación en congreso

This item appears in the following Collection(s)

Show full item record