Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Elements of Programming

Buy
Elements of Programming, 9780321635372 (032163537X), Addison Wesley, 2009
Elements of Programming provides a different understanding of programming than is presented elsewhere. Its major premise is that practical programming, like other areas of science and engineering,must be based on a solid mathematical foundation. The book shows that algorithms implemented in a real programming language, such as C++, can operate in the most general mathematical setting. For example, the fast exponentiation  algorithm is defined to work with any associative operation. Using abstract algorithms leads to efficient, reliable, secure, and economical software.

This is not an easy book. Nor is it a compilation of tips and tricks for incremental improvements in your programming skills. The book’s value is more fundamental and, ultimately, more critical for insight into programming. To benefit fully, you will need to work through it from beginning to end, reading the code, proving the lemmas, and doing the exercises. When finished, you will see how the application of the deductive method to your programs assures that your system’s software components will work together and behave as they must.

The book presents a number of algorithms and requirements for types on which they are defined. The code for these descriptions—also available on the Web—is written in a small subset of C++ meant to be accessible to any experienced programmer. This subset is defined in a special language appendix coauthored by Sean Parent and Bjarne Stroustrup.

Whether you are a software developer, or any other professional for whom programming is an important activity, or a committed student, you will come to understand what the book’s experienced authors have been teaching and demonstrating for years—that mathematics is good for programming, and that theory is good for practice.

About the Author


Alexander Stepanov studied mathematics at Moscow State University from 1967 to 1972. He has been programming since 1972: first in the Soviet Union and, after emigrating in 1977, in the United States. He has programmed operating systems, programming tools, compilers, and libraries. His work on foundations of programming has been supported by GE, Brooklyn Polytechnic, AT&T,HP, SGI, and, since 2002, Adobe. In 1995 he received the Dr. Dobb’s Journal Excellence in Programming Award for the design of the C++ Standard Template Library.

Paul McJones
studied engineering mathematics at the University of California, Berkeley, from 1967 to 1971. He has been programming since 1967 in the areas of operating systems, programming environments, transaction processing systems, and enterprise and consumer applications. He has been employed by the University of California, IBM, Xerox, Tandem, DEC, and, since 2003, Adobe. In 1982 he and his coauthors received the ACM Programming Systems and Languages Paper Award for their paper “The Recovery Manager of the System R Database Manager.”

(HTML tags aren't allowed.)

Kashmir in Conflict: India, Pakistan and the Unending War
Kashmir in Conflict: India, Pakistan and the Unending War
In 1846, under the terms of the Treaty of Amritsar, the British sold the beautiful valley of Kashmir to the Hindu Dogra ruler, Gulab Singh. It was not a sale in the traditional sense of the word since Britain was not physically occupying the land it sold, but rather a confirmation of an existing state of affairs where by Gulab Singh...
Practice Makes Perfect French Sentence Builder (Practice Makes Perfect Series)
Practice Makes Perfect French Sentence Builder (Practice Makes Perfect Series)

Practice Makes Perfect helps you put your French vocabulary and grammar skills together!

You may have all the vocabulary down pat and every grammar point nailed--but without the skill of knowing how to put these elements together, communicating in your second language would be nearly impossible. Practice Makes...

Advances in Network and Distributed Systems Security (IFIP International Federation for Information Processing)
Advances in Network and Distributed Systems Security (IFIP International Federation for Information Processing)
The more our society relies on electronic forms of communication, the more the security of these communication networks is essential for its well-functioning. As a consequence, research on methods and techniques to improve network security is extremely important.
Topics in this volume include the latest developments in:

Professional Visual Studio 2013 (Wrox Programmer to Programmer)
Professional Visual Studio 2013 (Wrox Programmer to Programmer)

Comprehensive guide to Visual Studio 2013

Visual Studio is your essential tool for Windows programming. Visual Studio 2013 features important updates to the user interface and to productivity. In Professional Visual Studio 2013, author, Microsoft Certified Trainer, and Microsoft Visual C# MVP Bruce Johnson brings three...

Chemoradiation in Cancer Therapy (Cancer Drug Discovery and Development)
Chemoradiation in Cancer Therapy (Cancer Drug Discovery and Development)

Internationally recognized experts in cancer biology and clinical research review the present status of the multimodality approach to the management of solid tumors and speculate on possible future strategies for chemoradiation therapy. The authors detail applications of combined modality therapy in lung, esophageal, breast, gastric,...

Platform Interference in Wireless Systems: Models, Measurement, and Mitigation
Platform Interference in Wireless Systems: Models, Measurement, and Mitigation
Intra-system EMC problems are becoming increasingly common in mobile devices, ranging from notebook PCs to cell phones, with RF/wireless capbilities. These issues range from minor annoyances to serious glitches which impede the functioning of the device. This book gives a thourough review of electromagnetic theory (including Maxwell's equations),...
©2021 LearnIT (support@pdfchm.net) - Privacy Policy