Focuses on the three paradigms of programming: imperative, functional, and logic programming Demonstrates not only how programming language concepts are used in language, but also how these concepts are implemented Covers assembly language programming, C++, Standard ML, and Prolog