Obteniendo eficiencia y legibilidad en programas generados automáticamente

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 presen...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Canal, Esteban de la
Otros Autores:	Baum, Gabriel Alfredo
Formato:	Tesis Tesis de grado
Lenguaje:	Español
Publicado:	2003
Materias:	Ciencias Informáticas Algorithms aplicaciones informáticas
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/3898
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-3898
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas Algorithms aplicaciones informáticas
spellingShingle	Ciencias Informáticas Algorithms aplicaciones informáticas Canal, Esteban de la Obteniendo eficiencia y legibilidad en programas generados automáticamente
topic_facet	Ciencias Informáticas Algorithms aplicaciones informáticas
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.
author2	Baum, Gabriel Alfredo
author_facet	Baum, Gabriel Alfredo Canal, Esteban de la
format	Tesis Tesis de grado
author	Canal, Esteban de la
author_sort	Canal, Esteban de la
title	Obteniendo eficiencia y legibilidad en programas generados automáticamente
title_short	Obteniendo eficiencia y legibilidad en programas generados automáticamente
title_full	Obteniendo eficiencia y legibilidad en programas generados automáticamente
title_fullStr	Obteniendo eficiencia y legibilidad en programas generados automáticamente
title_full_unstemmed	Obteniendo eficiencia y legibilidad en programas generados automáticamente
title_sort	obteniendo eficiencia y legibilidad en programas generados automáticamente
publishDate	2003
url	http://sedici.unlp.edu.ar/handle/10915/3898
work_keys_str_mv	AT canalestebandela obteniendoeficienciaylegibilidadenprogramasgeneradosautomaticamente
bdutipo_str	Repositorios
_version_	1764820472305811462

Obteniendo eficiencia y legibilidad en programas generados automáticamente

Ejemplares similares