"Introduction to the Theory of Programming Languages" bietet eine umfassende Einführung in die Gestaltung und Implementierung von Programmiersprachen. Das Buch behandelt die Entwicklung von Programmiersprachen von den frühen Sprachen wie Fortran und Cobol bis hin zu modernen Sprachen wie Caml und Java. Es vermittelt den Leserinnen und Lesern die notwendigen Werkzeuge, um über Programmiersprachen nachzudenken, sie zu entwerfen und zu implementieren. Der Fokus liegt auf einer einheitlichen Sichtweise der verschiedenen Formalismen, die zur Definition von Programmiersprachen verwendet werden, einschliesslich kleiner und grosser Schritte der operationellen Semantik sowie der denotationalen Semantik. Diese Ansätze werden durch die Analyse typischer Merkmale von Programmiersprachen wie Funktionen, Rekursion, Zuweisungen und Objekte veranschaulicht. Das Buch zeigt, dass das Studium von Programmiersprachen nicht isoliert, sondern durch die gemeinsamen Merkmale der Sprachen organisiert ist, was zu einer tieferen Einsicht in die Entwicklung von Evaluatoren, Interpretern, Compilern und Typinferenzalgorithmen führt.