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...
| Autores: | , , |
|---|---|
| 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 |
| Sumario: | 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. |
|---|