This talk is an introduction to the book Elements of Programming published by Addison Wesley in 2009. The book presents practical programming as a mathematical discipline, where every programming construct has its place.
The final downloadable version of the slides are not yet available. You can download the current draft version of the slides from http://www.stepanovpapers.com/EoP-StanfordEE380.pdf.
Check out the book's website http://www.elementsofprogramming.com, which has links to several suppliers including Amazon, Barnes & Noble, Borders, and Safari Books Online, along with errata and code from the book. For those with the proper credentials, you can test drive the book at Stanford Library where it is available through Safari as an online resource.
About the speakers:
Alexander Stepanov (Александр Александрович Степанов) studied mathematics at Moscow State University from 1967 to 1972. He has been programming since 1972, first in the Soviet Union and then, after emigrating in 1977, in the United States. He has programmed operating systems, programming tools, compilers, and libraries. His work on the foundations of programming has been supported by General Electric, Polytechnic Institute of New York, AT&T, Hewlett-Packard, Silicon Graphics, and Adobe Systems. He is currently employed by A9.com, Inc. In 1995, he received the Dr. Dobb's 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, Digital Equipment Corporation, and Adobe Systems. In 1982, he and his coauthors received the ACM Programming Systems and Languages Paper Award for "The Recovery Manager of the System R Database Manager"; in 2010, they received the ACM SIGOPS Hall of Fame Award for this paper.
130 Lytton Ave.
Palo Alto, CA 94303