Foundations of Programming

This book will prove useful, interesting, and provoking not only to all practising and aspiring programmers, but to those with an interest in programming techniques and methodology.
Recurrence, recursion, and reiteration are the key words. The author studies the relationship between these three basic tools, and shows how to use them to construct clear, correct, and efficient programs. He takes as his starting point the premise that to construct a program to solve a problem efficiently one must first correctly formulate the problem.
In illustrating the mechanism for the creation of programs by computation, that is, "analytical programming," the author argues that the programmer can learn to write correct programs, easily verified and understandable, without wasting effort and expense in lengthy testing and correction, and without the need for deep creative or intuitive skills.