Embedding: a unifying concept for recursive program design

The concept of embedding one function into another is used to get a unified view of some well-known design techniques, such as loop derivation using inveriants, recursion removal, or folding-unfolding. A design method for recursive functions based on embedding is presented and its relation to those...

Descripción completa

Detalles Bibliográficos
Autores: Roselló Balanyà, Celestí, Balcázar Navarro, José Luis|||0000-0003-4248-4528, Peña Marí, Ricardo
Tipo de recurso: informe técnico
Fecha de publicación:1988
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/190151
Acceso en línea:https://hdl.handle.net/2117/190151
Access Level:acceso abierto
Palabra clave:Embedded computer systems
Sistemes incrustats (Informàtica)
Àrees temàtiques de la UPC::Informàtica
id ES_f73b923ffee4591db7a047e6139bb1d8
oai_identifier_str oai:upcommons.upc.edu:2117/190151
network_acronym_str ES
network_name_str España
repository_id_str
spelling Embedding: a unifying concept for recursive program designRoselló Balanyà, CelestíBalcázar Navarro, José Luis|||0000-0003-4248-4528Peña Marí, RicardoEmbedded computer systemsSistemes incrustats (Informàtica)Àrees temàtiques de la UPC::InformàticaThe concept of embedding one function into another is used to get a unified view of some well-known design techniques, such as loop derivation using inveriants, recursion removal, or folding-unfolding. A design method for recursive functions based on embedding is presented and its relation to those techniques stated. Efficiency transformations are also formalized using embedding. A few examples will clarify and complement the proposed technique.19881988-01-0120202020-06-05reporthttp://purl.org/coar/resource_type/c_93fcVoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/reportapplication/pdfhttps://hdl.handle.net/2117/190151reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2Attribution-NonCommercial-NoDerivs 3.0 Spainhttp://creativecommons.org/licenses/by-nc-nd/3.0/es/info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2117/1901512026-05-27T15:37:01Z
dc.title.none.fl_str_mv Embedding: a unifying concept for recursive program design
title Embedding: a unifying concept for recursive program design
spellingShingle Embedding: a unifying concept for recursive program design
Roselló Balanyà, Celestí
Embedded computer systems
Sistemes incrustats (Informàtica)
Àrees temàtiques de la UPC::Informàtica
title_short Embedding: a unifying concept for recursive program design
title_full Embedding: a unifying concept for recursive program design
title_fullStr Embedding: a unifying concept for recursive program design
title_full_unstemmed Embedding: a unifying concept for recursive program design
title_sort Embedding: a unifying concept for recursive program design
dc.creator.none.fl_str_mv Roselló Balanyà, Celestí
Balcázar Navarro, José Luis|||0000-0003-4248-4528
Peña Marí, Ricardo
author Roselló Balanyà, Celestí
author_facet Roselló Balanyà, Celestí
Balcázar Navarro, José Luis|||0000-0003-4248-4528
Peña Marí, Ricardo
author_role author
author2 Balcázar Navarro, José Luis|||0000-0003-4248-4528
Peña Marí, Ricardo
author2_role author
author
dc.subject.none.fl_str_mv Embedded computer systems
Sistemes incrustats (Informàtica)
Àrees temàtiques de la UPC::Informàtica
topic Embedded computer systems
Sistemes incrustats (Informàtica)
Àrees temàtiques de la UPC::Informàtica
description The concept of embedding one function into another is used to get a unified view of some well-known design techniques, such as loop derivation using inveriants, recursion removal, or folding-unfolding. A design method for recursive functions based on embedding is presented and its relation to those techniques stated. Efficiency transformations are also formalized using embedding. A few examples will clarify and complement the proposed technique.
publishDate 1988
dc.date.none.fl_str_mv 1988
1988-01-01
2020
2020-06-05
dc.type.none.fl_str_mv report
http://purl.org/coar/resource_type/c_93fc
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/190151
url https://hdl.handle.net/2117/190151
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869424863875170304
score 15.300719

Similares en LA Referencia