Teoría de mejoras con efectos

Vista sencilla de ítem
dc.contributor.advisorJaskelioff, Mauro Javier
dc.creatorCeresa, Martín Arnaldo
dc.date.accessioned2023-04-25T20:07:53Z
dc.date.available2023-04-25T20:07:53Z
dc.date.issued2023-04
dc.description.abstractOptimizar 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.es
dc.description.filUniversidad Nacional de Rosario. Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Departamento de Ciencias de la Computaciónes
dc.formatapplication/pdf
dc.identifier.urihttp://hdl.handle.net/2133/25521
dc.language.isospaes
dc.rightsopenAccesses
dc.rights.holderCeresa, Martín Arnaldoes
dc.rights.textReconocimiento – 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.es
dc.rights.urihttp://creativecommons.org/licenses/by/2.5/ar/*
dc.subjectteoría de mejorases
dc.subjectefectos algebraicoses
dc.subjectteoría de lenguajes de programaciónes
dc.titleTeoría de mejoras con efectoses
dc.typedoctoralThesis
dc.typeTésis de Doctorado
dc.type.collectiontesis
dc.type.otherdoctoralThesises

Archivos

Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
Doctorado en Informática. Tesis. Ceresa, Martín Arnaldo_2023.pdf
Tamaño:
1.3 MB
Formato:
Adobe Portable Document Format
Descripción:
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
Nombre:
license.txt
Tamaño:
3.59 KB
Formato:
Item-specific license agreed upon to submission
Descripción:
Descargar

Colecciones

FCEIA - Doctorado en Informática - Tesis