- -

Listar por palabra clave "Rewriting Logic"

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

Listar por palabra clave "Rewriting Logic"

Ordenar por:Orden:Resultados:

  • thumb
    Assertion-based Analysis via Slicing with ABETS 
    Alpuente Frasnedo, María; Frechina, F.; Sapiña Sanchis, Julia; Ballis, Demis (Cambridge University Press (CUP), 2016-09)
    [EN] We present ABETS, an assertion-based, dynamic analyzer that helps diagnose errors in Maude programs. ABETS uses slicing to automatically create reduced versions of both a run's execution trace and executed program, ...
  • thumb
    Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis 
    Alpuente Frasnedo, María; Ballis, Demis; Frechina Navarro, Francisco; Sapiña Sanchis, Julia (2015-08)
    This paper introduces the idea of using assertion checking for enhancing the dynamic slicing of Maude computation traces. Since trace slicing can greatly simplify the size and complexity of the analyzed traces, our methodology ...
  • 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
    Logic-based techniques for program analysis and specification synthesis 
    Feliú Gabaldón, Marco Antonio (Universitat Politècnica de València, 2013-11-19)
    La Tesis investiga técnicas ágiles dentro del paradigma declarativo para dar solución a dos problemas: el análisis de programas y la inferencia de especificaciones a partir de programas escritos en lenguajes multiparadigma ...
  • thumb
    Rewriting Logic Techniques for Program Analysis and Optimization 
    Sapiña Sanchis, Julia (Universitat Politècnica de València, 2018-01-08)
    Esta tesis propone una metodología de análisis dinámico que mejora el diagnóstico de programas erróneos escritos en el lenguaje Maude. La idea clave es combinar técnicas de verificación de aserciones en tiempo de ejecución ...