This authoritative textbook introduces core concepts in programming language design and evaluation—covering syntax, semantics, parsing, name binding, data types, control structures, subprograms, object-orientation, concurrency, functional and logic programming. It helps readers critically analyze current and future programming languages. The 12th edition adds comprehensive new content on modern languages like Python and Swift, replacing older language discussions while preparing students for compiler design and language evaluation tasks.