Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.provenance | SEDICI | - |
| dc.contributor | Baum, Gabriel Alfredo | - |
| dc.contributor | Martínez López, Pablo E. | - |
| dc.creator | Canal, Esteban de la | - |
| dc.date | 2003 | - |
| dc.date.accessioned | 2019-06-19T20:07:45Z | - |
| dc.date.available | 2019-06-19T20:07:45Z | - |
| dc.date.issued | 2003 | - |
| dc.identifier | http://sedici.unlp.edu.ar/handle/10915/3898 | - |
| dc.identifier | http://hdl.handle.net/10915/3898 | - |
| dc.identifier.uri | http://rodna.bn.gov.ar/jspui/handle/bnmm/325436 | - |
| dc.description | En primer término se presenta un algoritmo de <i>Arity Raising</i> que presenta la característica de manipular, tanto en el código origen como en el destino, código polimórfico. En segundo lugar, el algoritmo presentado hace uso completo del concepto de alto orden. Además, en esta presentación no hay ningún tipo de restricción para las anotaciones (estáticas o dinámicas) de entrada, pudiendo estar estas independientemente en cualquier tupla del código; vale aclarar esto pues en otros trabajos las anotaciones deben seguir reglas particulares como por ejemplo no poder anotar una tupla como dinámica si se encuentra dentro de una tupla estática. Finalmente se provee una demostración de que el sistema propuesto es correcto. La corrección demostrada está basada en una noción de simulación para lo cual fue necesario dar semántica a los lenguajes utilizados. | - |
| dc.description | Facultad de Informática | - |
| dc.format | application/pdf | - |
| dc.format | 90 p. | - |
| dc.language | spa | - |
| dc.rights | info:eu-repo/semantics/openAccess | - |
| dc.rights | http://creativecommons.org/licenses/by/4.0/ | - |
| dc.rights | Creative Commons Attribution 4.0 International (CC BY 4.0) | - |
| dc.source | reponame:SEDICI (UNLP) | - |
| dc.source | instname:Universidad Nacional de La Plata | - |
| dc.source | instacron:UNLP | - |
| dc.source.uri | http://sedici.unlp.edu.ar/handle/10915/3898 | - |
| dc.source.uri | http://hdl.handle.net/10915/3898 | - |
| dc.subject | Ciencias Informáticas | - |
| dc.subject | aplicaciones informáticas | - |
| dc.subject | Algorithms | - |
| dc.title | Obteniendo eficiencia y legibilidad en programas generados automáticamente | - |
| dc.type | info:eu-repo/semantics/bachelorThesis | - |
| dc.type | info:eu-repo/semantics/acceptedVersion | - |
| dc.type | Tesis de grado | - |
| dc.type | info:ar-repo/semantics/tesisDeGrado | - |
| Aparece en las colecciones: | Universidad Nacional de la Plata. SEDICI | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.