Formalización de técnicas de diseño de algoritmos mediante reglas de transformación de programas : Casos de estudio

A través de los años se han identificado diversas técnicas (estrategias) generales que a menudo producen algoritmos eficientes para la resolución de muchas clases de problemas. En [Grinspan, 95] dimos una caracterización y formalización de algunas de estas técnicas basándonos en el cálculo transform...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Grinspan, Valentina, Luna, Carlos Daniel
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1995
Materias:
Ciencias Informáticas
Algorithms
Estrategias de diseño de algoritmos
Especificación y transfonnación de programas
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24281
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares