- -

Listar por autor "Cuenca Ortega, Ángel Eduardo"

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

Listar por autor "Cuenca Ortega, Ángel Eduardo"

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 ...
  • thumb
    Partial Evaluation of Rewriting Logic Theories 
    Cuenca Ortega, Ángel Eduardo (Universitat Politècnica de València, 2019-11-04)
    [ES] La evaluación parcial de programas es una técnica general y potente de optimización de programas que preserva su semántica y tiene muchas aplicaciones relevantes. La optimización se consigue al especializar programas ...
  • thumb
    Técnicas de refactorización para Maude 
    CUENCA ORTEGA, ANGEL (Universitat Politècnica de València, 2014-11-18)
    [EN] Refactoring techniques for the rewriting logic for the Maude language