El estudiante de doctorado, Martín Ceresa, visitante en el Instituto IMDEA Software, ha defendido su tésis en la Universidad Nacional de Rosario el pasado 5 de abril, titulada: “Teoría de Mejoras con Efectos”, dirigida por el doctor Mauro Javier Jaskelioff.
Optimizar programas no es una tarea fácil. Una transformación no tiene porqué implicar una mejora. Por ello, al modificar un programa se 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, que se mejora la ejecución del programa.
En la tesis de Martín se observa que hay varias interpretaciones posibles para los programas, pero no todas permiten introducir de manera natural propiedades intensivas de la ejecución de los mismos. Esta separación entre la interpretación de los programas y su evaluación le lleva a instrumentar la evaluación de los mismos para así tener la información relevante al consumo de recursos.
Los lenguajes funcionales presentan una semántica más clara que los lenguajes no funcionales. Conocer este hecho le ha permitido realizar pruebas de equivalencia de programas, pero ocultan propiedades de la ejecución. Esta ha sido la motivación principal en el mundo de la investigación para el desarrollo de teorías de mejoras y Ceresa ha podido presentar por primera vez una teoría relacional de costos de programas funcionales.
Martín caracteriza exitosamente teorías de mejoras para lenguajes funcionales con efectos algebraicos. “Por un lado, agregamos más expresividad a los lenguajes funcionales introduciendo efectos algebraicos, un subconjunto de efectos computacionales. Mientras que por el otro, siguiendo la literatura, identificamos la definición de mejoras entre programas como un refinamiento de la equivalencia observacional”.
Ceresa concluye que la tesis plantea el principio de la investigación del estudio de análisis de propiedades intensivas sobre lenguaje funcional con efectos algebraicos abriendo más preguntas que soluciones, lo que da pie a un futuro a largo plazo en el terreno de la investigación a este respecto.
