A small program is presented to motivate the concerns for programmer productivity and program quality that are the central issues of this set of essays. The example is one which demonstrates the performance aspect of programming. In order to achieve program quality, where a program is understood and known to be correct, we need a primary program description. This primary program description not only describes the program but is also used to generate...