Un sistema ampliado de desplegado/plegado para la síntesis de programas funcionales

Proponemos una extensión, para la síntesis de funciones, del sistema de transformación de desplegado/plegado. Se amplía no tanto el lenguaje de programación funcional como el sistema de transformación. El lenguaje ampliado permite relaciones (Es decir, restricciones) que expresan precondicinoes y po...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Pareja-Flores, Cristóbal, Arcas-Guijarro, Miguel, Velázquez-Iturbide, J. Angel
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	1998
Materias:	Ciencias Informáticas Informática Programación funcional transformación de programas síntesis de programas sistema de desplegado/plegado patrones restricciones
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/24900
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-24900
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 Programación funcional transformación de programas síntesis de programas sistema de desplegado/plegado patrones restricciones
spellingShingle	Ciencias Informáticas Informática Programación funcional transformación de programas síntesis de programas sistema de desplegado/plegado patrones restricciones Pareja-Flores, Cristóbal Arcas-Guijarro, Miguel Velázquez-Iturbide, J. Angel Un sistema ampliado de desplegado/plegado para la síntesis de programas funcionales
topic_facet	Ciencias Informáticas Informática Programación funcional transformación de programas síntesis de programas sistema de desplegado/plegado patrones restricciones
description	Proponemos una extensión, para la síntesis de funciones, del sistema de transformación de desplegado/plegado. Se amplía no tanto el lenguaje de programación funcional como el sistema de transformación. El lenguaje ampliado permite relaciones (Es decir, restricciones) que expresan precondicinoes y poscondicinoes, pero que no pueden usarse para construir funciones ejecutables, sino que su uso está limitado al proceso transformador. El sistema de transformación también se amplía para tratar restricciones e igualdades generales, resultando un sistema de cinco reglas, potente pero sencillo. Hemos estudiado principalmente su aplicación a la síntesis de funciones inversas de otras existentes. El sistema resulta especialmente útil y natural cuando se combina con una forma poderosa de especificar inversas de funciones, llamada patrones generalizados. En el papel ilustramos estas ideas con la aplicación del sistema a varios problemas, destacando la síntesis de una función que reconstruye un árbol binario a partir de sus recorridos en preorden y en inorde.
format	Objeto de conferencia Objeto de conferencia
author	Pareja-Flores, Cristóbal Arcas-Guijarro, Miguel Velázquez-Iturbide, J. Angel
author_facet	Pareja-Flores, Cristóbal Arcas-Guijarro, Miguel Velázquez-Iturbide, J. Angel
author_sort	Pareja-Flores, Cristóbal
title	Un sistema ampliado de desplegado/plegado para la síntesis de programas funcionales
title_short	Un sistema ampliado de desplegado/plegado para la síntesis de programas funcionales
title_full	Un sistema ampliado de desplegado/plegado para la síntesis de programas funcionales
title_fullStr	Un sistema ampliado de desplegado/plegado para la síntesis de programas funcionales
title_full_unstemmed	Un sistema ampliado de desplegado/plegado para la síntesis de programas funcionales
title_sort	un sistema ampliado de desplegado/plegado para la síntesis de programas funcionales
publishDate	1998
url	http://sedici.unlp.edu.ar/handle/10915/24900
work_keys_str_mv	AT parejaflorescristobal unsistemaampliadodedesplegadoplegadoparalasintesisdeprogramasfuncionales AT arcasguijarromiguel unsistemaampliadodedesplegadoplegadoparalasintesisdeprogramasfuncionales AT velazqueziturbidejangel unsistemaampliadodedesplegadoplegadoparalasintesisdeprogramasfuncionales
bdutipo_str	Repositorios
_version_	1764820466552274946

Un sistema ampliado de desplegado/plegado para la síntesis de programas funcionales

Ejemplares similares