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

id	I19-R120-10915-24281
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas Algorithms Estrategias de diseño de algoritmos Especificación y transfonnación de programas
spellingShingle	Ciencias Informáticas Algorithms Estrategias de diseño de algoritmos Especificación y transfonnación de programas Grinspan, Valentina Luna, Carlos Daniel Formalización de técnicas de diseño de algoritmos mediante reglas de transformación de programas : Casos de estudio
topic_facet	Ciencias Informáticas Algorithms Estrategias de diseño de algoritmos Especificación y transfonnación de programas
description	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 transformacional desarrollado en el proyecto CIP [Bauer, 85] [Bauer, 87]. En este trabajo utilizamos algunas de las reglas allí presentadas para resolver ciertos problemas interesantes de la programación.
format	Objeto de conferencia Objeto de conferencia
author	Grinspan, Valentina Luna, Carlos Daniel
author_facet	Grinspan, Valentina Luna, Carlos Daniel
author_sort	Grinspan, Valentina
title	Formalización de técnicas de diseño de algoritmos mediante reglas de transformación de programas : Casos de estudio
title_short	Formalización de técnicas de diseño de algoritmos mediante reglas de transformación de programas : Casos de estudio
title_full	Formalización de técnicas de diseño de algoritmos mediante reglas de transformación de programas : Casos de estudio
title_fullStr	Formalización de técnicas de diseño de algoritmos mediante reglas de transformación de programas : Casos de estudio
title_full_unstemmed	Formalización de técnicas de diseño de algoritmos mediante reglas de transformación de programas : Casos de estudio
title_sort	formalización de técnicas de diseño de algoritmos mediante reglas de transformación de programas : casos de estudio
publishDate	1995
url	http://sedici.unlp.edu.ar/handle/10915/24281
work_keys_str_mv	AT grinspanvalentina formalizaciondetecnicasdedisenodealgoritmosmediantereglasdetransformaciondeprogramascasosdeestudio AT lunacarlosdaniel formalizaciondetecnicasdedisenodealgoritmosmediantereglasdetransformaciondeprogramascasosdeestudio
bdutipo_str	Repositorios
_version_	1764820466896207873

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

Ejemplares similares