Título de la tesis:
Declarative Debugging of Missing Answers in Rewriting Logic
Autor/es:
Riesco Rodríguez, Adrián
Tipo de documento:
Trabajo
Universidad:
Departamento:
Departamento
Idioma:
Castellano
Palabras clave:
Declarative debugging, Missing answers, Rewriting logic, Maude, Metalevel implementation
Fecha de la defensa:
2009-11-19 13:23:49
Notas:
...
Valoración: