Transformación asistida de programas funcionales

Abstract

El proyecto está basado en el desarrollo de software con el modelo transformacional. Según este modelo se manipula y transforma un programa fuente inicial en un determinado lenguaje de programación, para obtener un programa final transformado. El lenguaje de programación del código fuente y del código objeto en este proyecto es el mismo. Este proyecto está orientado particularmente a la transformación de programas funcionales. Para la construcción del sistema de transformación se requiere, además, un lenguaje de transformación para que el usuario pueda expresar los pasos de transformación que desea aplicar sobre el programa. Los lenguajes de programación funcionales que se han considerado para implementar el sistema son Haskell y ML. Las transformaciones que se aplican en el sistema están basadas principalmente en el sistema de plegado-desplegado de Burstall y Darlington. El objetivo del modelo de software transformacional es poder obtener programas más eficientes o poder demostrar teoremas. Para ello se pueden usar algunas tácticas de transformación como: fusión, deforestación, tuplamiento, paralelización, etc. [ABSTRACT] This project is based on the development of the software with the transformational model. According to this model an initial source program in a certain programming language is manipulated and is transformed with the aim to obtain a final transformed program. The programming language of the source code and of the object code is the same in this project. This project is particularly oriented to the transformation of functional programs. Also, for the construction of the transformational system the transformation language is needed, so that the user would be able to write the steps of transformation that he wishes to apply onto the program. The functional programming languages which have been considered for the system implementation are Haskell and ML. The transformations that are applied in the system are based, mainly, on the fold/unfold system of Burstall and Darlington. The objective of the transformational model of software is to obtain more efficient programs or to prove theorems. For this purpose, different transformation tactics can be used, as, for example, fusion, parallelization, tupling, deforestation, etc.