E-Prints Complutense

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

Impacto

Descargas

Último año



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

[img]
Vista previa
PDF
7MB




Tipo de documento:Tesis
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

Descargas en el último año

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