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