Program specification and transformation : proceedings of the IFIP TC2 / WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 Apr., 1986

The economic construction of correct and efficient programs is the central issue in the field of program specification and transformation. Research in this field is crucial, with the advent of cheap computing power in a society increasingly dependent on the availability of error-free programs. In recognizing this need, this book presents examination of a variety of aspects - from practical experience in applying transformational methodology, to actual production of software, via examples of transformational derivations of algorithms. By thus illustrating the state of the art, and providing results of recent research, the book should not only aid scientists but also show professionals just how their work will be influenced by these developments.