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

Ejemplares similares

Ejemplares similares