Advanced Programming Language Design

Written for the student or professional interested in programming language design, this new book examines a wide range of programming language paradigms and issues, interspersing the discussion of these models with in-depth coverage of the key languages to reinforce them. The author begins his presentation with control structures and types, and then introduces the reader to seven programming paradigms: imperative, functional, object-oriented, dataflow, concurrent, logic, and aggregate-based. He concludes the book with a discussion of formal syntax and semantics.