Inspecting Maude variants with GLINTS

Conference Object

Abstract: This paper introduces GLINTS, a graphical tool for exploring variant narrowing computations in Maude

Palabras claves:

embedding, Finite Variant Property, Maude, Narrowing, Rewriting Logic, Variant

Autores:

Alpuente M., Angel Cuenca-Ortega, Escobar S., Sapiña J.

Fuentes:

google

scopus