Functional programming: executable specifications and program transformations
Simon Thompson · 1989
In this paper we give an example of the use of functional programming language in the specification and development of a program to solve a non-trivial problem.In particular, we show how we can give a direct implementation of a constructive specification (an execuiable specification, in other words) and then show how program transformation can be used to turn this specification into an efficient version of the program, using techniques from a standard library of transformations.We introduce the paper with a short review of functional programming.