Biblioteca de la Universidad Complutense de Madrid

Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude

Impacto



Riesco Rodríguez, Adrián (2012) Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude. [Tesis Doctoral]

[img]
Vista previa
PDF
7MB




Tipo de documento:Tesis Doctoral
Información Adicional:

Tesis de la Universidad Complutense de Madrid, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, leída el 15-06-2011

Directores (o tutores):
NombreEmail del director (o tutor)
Verdejo López, José Alberto
Martí Oliert, Narciso
Palabras clave:Declarative debugging, Maude, Depuración declarativa, Programación declarativa
Materias:Ciencias > Informática > Lenguajes de programación
Código ID:14454
Depositado:23 Ene 2012 09:08
Última Modificación:06 Feb 2014 10:02

Sólo personal del repositorio: página de control del artículo