Theories of programming languages

摘要: This textbook is a broad but rigorous survey of the theoretical basis for design, definition, and implementation programming languages, systems specifying proving program behavior. It encompasses imperative functional programming, as well ways integrating these aspects into more general languages. Basic concepts their properties are described with mathematical rigor, development balanced by numerous examples applications, particularly specification proof, concurrent (including use continuations lazy evaluation), type subtyping, polymorphism, modularization). Assuming only knowledge elementary this text perfect advanced undergraduate beginning graduate courses in language theory, will also appeal to researchers professionals designing or implementing computer