- -

Rewriting Logic Techniques for Program Analysis and Optimization

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

  • Estadisticas de Uso

Rewriting Logic Techniques for Program Analysis and Optimization

Show full item record

Sapiña Sanchis, J. (2017). Rewriting Logic Techniques for Program Analysis and Optimization [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/94044

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

Files in this item

Item Metadata

Title: Rewriting Logic Techniques for Program Analysis and Optimization
Author: Sapiña Sanchis, Julia
Director(s): Alpuente Frasnedo, María Ballis, Demis
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Read date / Event date:
2017-12-01
Issued date:
Abstract:
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 ...[+]


This thesis proposes a dynamic analysis methodology for improving the diagnosis of erroneous Maude programs. The key idea is to combine runtime assertion checking and dynamic trace slicing for automatically catching errors ...[+]


Esta tesi proposa una metodologia d'anàlisi dinàmica que millora el diagnòstic de programes erronis escrits en el llenguatge Maude. La idea clau és combinar tècniques de verificació d'assercions en temps d'execució amb la ...[+]
Subjects: Rewriting Logic , Maude , Program Diagnosis and Debugging , Runtime Assertion Checking , Dynamic Program and Trace Slicing
Copyrigths: Reserva de todos los derechos
DOI: 10.4995/Thesis/10251/94044
Publisher:
Universitat Politècnica de València
Type: Tesis doctoral

recommendations

 

This item appears in the following Collection(s)

Show full item record