Resumen de Trends in programming methodologies: a transformational approach (extended abstract)
The basic idea of program design by stepwise transformations is to start with a (rather abstract) specification of an intended observable behavior and then to change this description step by step without changing the observable behavior, but going from a specification to a program (an algorithm) or from a program to more efficient versions.
The design of programs by transformation rules does not only contributr to our understanding of the programming process, but also is the necessary requisit for building interactive programming systems that support program developtment.
