- -

Listar por palabra clave "Embedding"

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

Listar por palabra clave "Embedding"

Ordenar por:Orden:Resultados:

  • thumb
    Inspecting Maude Variants with GLINTS 
    Alpuente Frasnedo, María; Cuenca-Ortega, Angel; Escobar Román, Santiago; Sapiña-Sanchis, Julia (Cambridge University Press, 2017)
    [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 ...