Financing detail

Authors: JASKELIOFF, MAURO JAVIER.

Description: La transformación de programas es una técnica esencial para obtener mejoras en la ejecución de los mismos. Estas transformaciones puede realizarse en forma manual por un programador, o bien en forma automática por un compilador. Las mejoras buscadas pueden ser, por ejemplo, un menor tiempo de ejecución, menor uso de memoria, o mejor aprovechamiento del hardware. Una transformación es correcta cuando preserva el significado del programa y no lo empeora. Para poder razonar acerca de modelos de ejecución complejos se han desarrollado diversas teorías de mejoramiento de programas que proveen herramientas matemáticas para poder probar que una transformación es correcta. Como las teorías están atadas a un lenguaje en particular, cualquier modificación implica que toda la teoría debe ser probada nuevamente, lo cual implica un trabajo muy laborioso.En este proyecto proponemos investigar los fundamentos de estas teorías de manera de obtener criterios generales prácticos para la definición de teorías de mejoramiento de programas. A su vez, proponemos formalizar estos criterios en un asistente de prueba de manera de poder obtener a muy bajo costo teorías de mejoramiento de programas verificadas por computadora: sólo sería necesario chequear que el lenguaje de estudio cumple con los criterios generales.

Project code: PICT- 201-0464.

Financing amount: 780000

Coinage: Pesos

Financing type: Proyectos de I+D.

Disciplinary field: 1 - CIENCIAS NATURALES Y EXACTAS / 1.2 - Ciencias de la Computación e Información / 1.2.1 - Ciencias de la Computación.

Scope: Prom.Gral.del Conoc.-Cs.Exactas y Naturales.

Specialty: Semántica de Lenguajes de programación.

Principal's name: MAURO JAVIER JASKELIOFF.