Prototype Environment for Refactoring Clean Programs ∗ Extended abstract

We present here the prototype of an interactive environment where one can incre-mentally carry out programmer-guided meaning-preserving program transformations in functional languages. We discuss an alternative approach to the problems of storing and extracting the syntactic and also the static semantic information in order to be flex-ible enough to perform the desired transformations. In our approach the program to be redesigned is stored in a relational database. Several transformation case studies will help us to demonstrate how this database can be used to transform programs, check the preconditions and make compensation steps to ensure correct transformations. We also show an interactive environment which will help the programmer to choose the appropriate refactoring step and its parameters. During redesign process the pro-grammer is faced with one of the selected “views ” extracted from the database. Different transformations can be carried out on different views, depending on which view is preferable for the programmer and/or which view is more suitable for the given transformation