Mostra el registre d'ítem simple

dc.contributor.authorRoselló Balanyà, Celestí
dc.contributor.authorBalcázar Navarro, José Luis
dc.contributor.authorPeña Marí, Ricardo
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2020-06-05T18:30:21Z
dc.date.available2020-06-05T18:30:21Z
dc.date.issued1988
dc.identifier.citationRoselló, C.; Balcazar, J. L.; Peña, R. "Embedding: a unifying concept for recursive program design". 1988.
dc.identifier.urihttp://hdl.handle.net/2117/190151
dc.description.abstractThe 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.
dc.format.extent28 p.
dc.language.isoeng
dc.relation.ispartofseriesLSI-88-13
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Spain
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subjectÀrees temàtiques de la UPC::Informàtica
dc.subject.lcshEmbedded computer systems
dc.titleEmbedding: a unifying concept for recursive program design
dc.typeExternal research report
dc.subject.lemacSistemes incrustats (Informàtica)
dc.contributor.groupUniversitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge
dc.rights.accessOpen Access
local.identifier.drac28618160
dc.description.versionPostprint (published version)
local.citation.authorRoselló, C.; Balcazar, J. L.; Peña, R.


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple