Título de la tesis:
Declarative Debugging of Maude Functional Modules
Autor/es:
Caballero, Rafael
Tipo de documento:
Trabajo
Universidad:
Departamento:
Departamento
Idioma:
Castellano
Palabras clave:
Declarative debugging, Membership equational logic, Maude, Functional modules, Metalevel implementation
Fecha de la defensa:
2009-11-24 08:25:53
Notas:
...
Valoración: