Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-11-16T12:27:20Z
dc.date.available 2012-11-16T12:27:20Z
dc.date.issued 1995-10
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/24281
dc.description.abstract 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. es
dc.format.extent 129-140 es
dc.language es es
dc.subject Algorithms es
dc.subject Estrategias de diseño de algoritmos es
dc.subject Especificación y transfonnación de programas es
dc.title Formalización de técnicas de diseño de algoritmos mediante reglas de transformación de programas es
dc.type Objeto de conferencia es
sedici.title.subtitle Casos de estudio es
sedici.creator.person Grinspan, Valentina es
sedici.creator.person Luna, Carlos Daniel es
sedici.description.note Eje: Diseño de algoritmos es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 1995-10
sedici.relation.event I Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (915.6Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)