Programming Language Pragmatics is the most comprehensive programming language textbook available today, with nearly 1000 pages of content in the book, plus hundreds more pages of reference materials and ancillaries online. Michael Scott takes theperspective that language design and language implementation are tightly interconnected, and that neither can be fully understood in isolation. In an approachable, readable style, he discusses more than 50 languages in the context of understanding how code isinterpreted or compiled, providing an organizational framework for learning new languages, regardless of platform. This edition has been thoroughly updated to cover the most recent developments in programming language design and provides both a solid understanding of the most important issues driving software development todayProvides a complete re-write of the chapter on semantic analysis, using formal inference rulesIncludes a heavy revision of the chapter on type systemsPresents significant updates to the chapters on composite types, object orientation, and code generationCovers new material on ownership types, safe concurrency, asynchronous programming, traits, move constructors, template “concepts,” the LLVM compiler infrastructure, and many other topics

Programming Language Pragmatics is the most comprehensive programming language textbook available today, with nearly 1000 pages of content in the book, plus hundreds more pages of reference materials and ancillaries online. Michael Scott takes theperspective that language design and language implementation are tightly interconnected, and that neither can be fully understood in isolation. In an approachable, readable style, he discusses more than 50 languages in the context of understanding how code isinterpreted or compiled, providing an organizational framework for learning new languages, regardless of platform. This edition has been thoroughly updated to cover the most recent developments in programming language design and provides both a solid understanding of the most important issues driving software development todayProvides a complete re-write of the chapter on semantic analysis, using formal inference rulesIncludes a heavy revision of the chapter on type systemsPresents significant updates to the chapters on composite types, object orientation, and code generationCovers new material on ownership types, safe concurrency, asynchronous programming, traits, move constructors, template “concepts,” the LLVM compiler infrastructure, and many other topics