Construcción y optimización de programas en Fork Álgebras

La creciente importancia de los factores críticos en el software hace que la utilización de métodos formales de desarrollo sea cada vez más frecuente. En este contexto, la construcción rigurosa de programas, concebida como un “álgebra de la programación” [BdM97] o bien como un “cálculo de programas”...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Baum, Gabriel Alfredo, Frias, Marcelo F., Aguirre, Nazareno Matías, Medel, Ricardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1998
Materias:
Ciencias Informáticas
Informática
Optimization
Optimización de Programas
Fork Algebras
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24898
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24898
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
Informática
Optimization
Optimización de Programas
Fork Algebras
spellingShingle Ciencias Informáticas
Informática
Optimization
Optimización de Programas
Fork Algebras
Baum, Gabriel Alfredo
Frias, Marcelo F.
Aguirre, Nazareno Matías
Medel, Ricardo
Construcción y optimización de programas en Fork Álgebras
topic_facet Ciencias Informáticas
Informática
Optimization
Optimización de Programas
Fork Algebras
description La creciente importancia de los factores críticos en el software hace que la utilización de métodos formales de desarrollo sea cada vez más frecuente. En este contexto, la construcción rigurosa de programas, concebida como un “álgebra de la programación” [BdM97] o bien como un “cálculo de programas” [FBH 97], constituye uno de los elementos de mayor relevancia, en al medida que provee técnicas, métodos y, más aún, estrategias generales que posibilitan obtener programas correctos por construcción a partir de especificaciones formales o semiformales. En este trabajo se presentan Estrategias de Construcción de Programas basadas en la Teoría de Primer Orden de las Fork Álgebras. En este contexto se describen estrategias, usuales en la Programación en Lógica y Funcional, como “tupling” y “generalización” que resultan de gran utilidad tanto como herramientas de solución de problemas, como técnicas de diseño de algoritmos y también como métodos generales de optimización de programas recursivos. Se analizan condiciones suficientes para la aplicación de estas estrategias a expresiones algebraicas que caracterizan algoritmos genéricos (Es decir, clases de algoritmos) y se presentan varios ejemplos de aplicación de las mismas.
format Objeto de conferencia
Objeto de conferencia
author Baum, Gabriel Alfredo
Frias, Marcelo F.
Aguirre, Nazareno Matías
Medel, Ricardo
author_facet Baum, Gabriel Alfredo
Frias, Marcelo F.
Aguirre, Nazareno Matías
Medel, Ricardo
author_sort Baum, Gabriel Alfredo
title Construcción y optimización de programas en Fork Álgebras
title_short Construcción y optimización de programas en Fork Álgebras
title_full Construcción y optimización de programas en Fork Álgebras
title_fullStr Construcción y optimización de programas en Fork Álgebras
title_full_unstemmed Construcción y optimización de programas en Fork Álgebras
title_sort construcción y optimización de programas en fork álgebras
publishDate 1998
url http://sedici.unlp.edu.ar/handle/10915/24898
work_keys_str_mv AT baumgabrielalfredo construccionyoptimizaciondeprogramasenforkalgebras
AT friasmarcelof construccionyoptimizaciondeprogramasenforkalgebras
AT aguirrenazarenomatias construccionyoptimizaciondeprogramasenforkalgebras
AT medelricardo construccionyoptimizaciondeprogramasenforkalgebras
bdutipo_str Repositorios
_version_ 1764820466550177794

Ejemplares similares