Rewriting Logic Techniques for Program Analysis and Optimization
Uloženo v:
| Název: | Rewriting Logic Techniques for Program Analysis and Optimization |
|---|---|
| Přispěvatelé: | University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació |
| Thesis Advisors: | Alpuente Frasnedo, María, Ballis, Demis |
| Témata: | Rewriting Logic, Maude, Program Diagnosis and Debugging, Runtime Assertion Checking, Dynamic Program and Trace Slicing, LENGUAJES Y SISTEMAS INFORMATICOS |
| Druh dokumentu: | Dissertation/Thesis |
| DOI: | 10.4995/Thesis/10251/94044 |
| Přístupová URL adresa: | http://hdl.handle.net/10251/94044 |
| Přístupové číslo: | edstdx.10251.94044 |
| Databáze: | TDX |
| DOI: | 10.4995/Thesis/10251/94044 |
|---|