Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2008-05-07T15:16:09Z
dc.date.available 2008-05-07T03:00:00Z
dc.date.issued 2003
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/3898
dc.description.abstract En primer término se presenta un algoritmo de Arity Raising 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. es
dc.language es es
dc.subject Algorithms es
dc.subject aplicaciones informáticas es
dc.title Obteniendo eficiencia y legibilidad en programas generados automáticamente es
dc.type Tesis es
sedici.creator.person Canal, Esteban de la es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Facultad de Informática es
sedici.subtype Tesis de grado es
sedici.rights.license Creative Commons Attribution 4.0 International (CC BY 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by/4.0/
sedici.contributor.director Baum, Gabriel Alfredo es
sedici.contributor.codirector Martínez López, Pablo E. es
sedici.institucionDesarrollo Laboratorio de Investigación y Formación en Informática Avanzada es
thesis.degree.name Licenciado en Informática es
thesis.degree.grantor Universidad Nacional de La Plata es
sedici.date.exposure 2003
sedici2003.identifier ARG-UNLP-TDG-0000000167 es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (564.7Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution 4.0 International (CC BY 4.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution 4.0 International (CC BY 4.0)