Teoría de mejoras con efectos

Optimizar programas es difícil. Al aplicar una transformación a un programa uno debe mostrar que se preserva la semántica del programa, y además, se tiene que asegurar que la transformación es realmente una optimización. El estudio de transformaciones de programas que preserven la semántica de los p...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Ceresa, Martín Arnaldo
Otros Autores:	Jaskelioff, Mauro Javier
Formato:	doctoralThesis Tésis de Doctorado
Lenguaje:	Español
Publicado:	2023
Materias:	teoría de mejoras efectos algebraicos teoría de lenguajes de programación
Acceso en línea:	http://hdl.handle.net/2133/25521 http://hdl.handle.net/2133/25521
Aporte de:	Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario

id	I15-R121-2133-25521
record_format	dspace
spelling	I15-R121-2133-255212023-04-25T20:07:53Z Teoría de mejoras con efectos Ceresa, Martín Arnaldo Jaskelioff, Mauro Javier teoría de mejoras efectos algebraicos teoría de lenguajes de programación Optimizar programas es difícil. Al aplicar una transformación a un programa uno debe mostrar que se preserva la semántica del programa, y además, se tiene que asegurar que la transformación es realmente una optimización. El estudio de transformaciones de programas que preserven la semántica de los programas es un área de mucha investigación. Seguimos una línea de trabajo que comienza con la equivalencia observacional de Morris, continúa con la relación de bisimulación aplicativa de Abramsky y el método de Howe, concluyendo finalmente con una línea más reciente donde se agregan efectos algebraicos a la relación de bisimulación aplicativa de Dal Lago, Gavazzo y Levy. Asegurar que una transformación es realmente una optimización, que realmente se mejora el programa, es un camino menos explorado con la teoría de mejoras de Sands como el ejemplo más prominente. En esta tesis, conectamos estos dos caminos obteniendo una teoría de mejoras abstracta basada en la relación de bisimulación aplicativa con efectos extendiendo la relación de mejoras a lenguajes con efectos. Universidad Nacional de Rosario. Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Departamento de Ciencias de la Computación 2023-04-25T20:07:53Z 2023-04-25T20:07:53Z 2023-04 2023-04-25T20:07:53Z 2023-04-25T20:07:53Z 2023-04 doctoralThesis Tésis de Doctorado http://hdl.handle.net/2133/25521 http://hdl.handle.net/2133/25521 spa http://creativecommons.org/licenses/by/2.5/ar/ Ceresa, Martín Arnaldo Reconocimiento – Compartir Igual (by-sa): Se permite el uso comercial de LA OBRA y de las posibles obras derivadas, la distribución de las cuales se debe hacer con una licencia igual a la que regula LA OBRA original. openAccess application/pdf
institution	Universidad Nacional de Rosario
institution_str	I-15
repository_str	R-121
collection	Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR)
language	Español
topic	teoría de mejoras efectos algebraicos teoría de lenguajes de programación
spellingShingle	teoría de mejoras efectos algebraicos teoría de lenguajes de programación Ceresa, Martín Arnaldo Teoría de mejoras con efectos
topic_facet	teoría de mejoras efectos algebraicos teoría de lenguajes de programación
description	Optimizar programas es difícil. Al aplicar una transformación a un programa uno debe mostrar que se preserva la semántica del programa, y además, se tiene que asegurar que la transformación es realmente una optimización. El estudio de transformaciones de programas que preserven la semántica de los programas es un área de mucha investigación. Seguimos una línea de trabajo que comienza con la equivalencia observacional de Morris, continúa con la relación de bisimulación aplicativa de Abramsky y el método de Howe, concluyendo finalmente con una línea más reciente donde se agregan efectos algebraicos a la relación de bisimulación aplicativa de Dal Lago, Gavazzo y Levy. Asegurar que una transformación es realmente una optimización, que realmente se mejora el programa, es un camino menos explorado con la teoría de mejoras de Sands como el ejemplo más prominente. En esta tesis, conectamos estos dos caminos obteniendo una teoría de mejoras abstracta basada en la relación de bisimulación aplicativa con efectos extendiendo la relación de mejoras a lenguajes con efectos.
author2	Jaskelioff, Mauro Javier
author_facet	Jaskelioff, Mauro Javier Ceresa, Martín Arnaldo
format	doctoralThesis Tésis de Doctorado
author	Ceresa, Martín Arnaldo
author_sort	Ceresa, Martín Arnaldo
title	Teoría de mejoras con efectos
title_short	Teoría de mejoras con efectos
title_full	Teoría de mejoras con efectos
title_fullStr	Teoría de mejoras con efectos
title_full_unstemmed	Teoría de mejoras con efectos
title_sort	teoría de mejoras con efectos
publishDate	2023
url	http://hdl.handle.net/2133/25521 http://hdl.handle.net/2133/25521
work_keys_str_mv	AT ceresamartinarnaldo teoriademejorasconefectos
_version_	1765623966634868736

Teoría de mejoras con efectos

Ejemplares similares