From Mathematics to Generic Programming 1st edition

 In their new book From Mathematics to Generic Programming, C++ STL creator Alexander Stepanov and Information Retrieval researcher Daniel Rose show how programmers can become more effective by learning about the idea of abstraction and the math it relies on. In an engaging and accessible fashion, they describe how these mathematical results were first discovered and are surprisingly useful in programming.

Aimed at a wider audience than the classic Elements of Programming by Stepanov and McJones, From Mathematics to Generic Programming takes a less formal approach, interleaving discussions of programming, mathematical results, and stories of the people who made these discoveries throughout history.  The authors trace the development of common algorithms from ancient times to the present, and show how to generalize them to new applications ? even to the secure protocols of modern Internet commerce.

From Mathematics to Generic Programming is a great introduction to the core principles of generic programming for the professional programmer.  The authors work through examples showing how to analyze the requirements of an algorithm and make it as general as possible.  The book includes several programming ?laws? of particular interest to those building software components.