This textbook is a thorough, up-to-date introduction to the principles and techniques that guide the design and implementation of modern programming languages.

The goal of the book is to provide the basis for a critical understanding of most modern programming languages. Thus, rather than focusing on a specific language, the book identifies the most important principles shared by large classes of languages. The notion of 'abstract machine' is a unifying concept that helps to maintain an accurate and elementary treatment. The book introduces, analyses in depth, and compares the imperative, object-oriented, functional, logic, concurrent, constraint-based, and service-oriented programming paradigms. All material coming from the first English edition has been updated and extended, clarifying some tricky points, and discussing newer programming languages. This second edition contains new chapters dedicated to constraint, concurrent, and service-oriented programming.

Topics and features:

• Requires familiarity with one programming language is a prerequisite
• Provides a chapter on history offering context for most of the constructs in use today
• Presents an elementary account of semantical approaches and of computability
• Introduces new examples in modern programming languages like Python or Scala

• Offers a chapter that opens a perspective on applications in artificial intelligence Conceived as a university textbook, this unique volume will also be suitable for IT specialists who want to deepen their knowledge of the mechanisms behind the languages they use. The choice of themes and the presentation style are largely influenced by the experience of teaching the content as part of a bachelor's degree in computer science.

  Presents a self-contained approach requiring minimal familiarity with only one programming language Examines aspects of the design, implementation and practical considerations of programming languages Offers fully revised and streamlined discussion, addressing each of the main programming paradigms

  Autorentext
  Dr. Maurizio Gabbrielli and Dr. Simone Martini are both Professors at the Department of Computer Science and Engineering of the University of Bologna, Italy.

  Inhalt

  1. Abstract Machines.- 2. How to Describe a Programming Language.- 3. Foundations.- 4. Names and the Environment.- 5. Memory Management.- 6. Control Structure.- 7. Control Abstraction.- Structuring Data.- 8. Data Abstraction.- 9. The Object-Oriented Paradigm.- 10. The Functional Paradigm.- 11. The Logic Programming Paradigm.- 12. A Short Historical Perspective.