Dieses 1998 erstmals veröffentlichte Lehrbuch ist ein breiter, aber strenger Überblick über die theoretischen Grundlagen für den Entwurf, die Definition und die Implementierung von Programmiersprachen und von Systemen zur Spezifizierung und zum Nachweis des Programmverhaltens. Es werden sowohl imperative als auch funktionale Programmierung behandelt, ebenso wie die Möglichkeiten, diese Aspekte in allgemeinere Sprachen zu integrieren. Der Autor erkennt eine Einheit der Technik unter der Vielfalt der Forschung in Programmiersprachen und präsentiert eine integrierte Behandlung der Grundprinzipien des Themas. Er identifiziert die relativ kleine Anzahl von Konzepten wie Kompositionssemantik, Bindung, Struktur, Domänen, Übergangssysteme und Inferenzregeln, die als Grundlage des Feldes dienen. Wenn man nur Kenntnisse in elementarer Programmierung und Mathematik voraussetzt, ist dieser Text perfekt für fortgeschrittene Bachelor- und Masterstudiengänge in Programmiersprachentheorie und wird auch Forscher und Fachleute beim Entwerfen oder Implementieren von Computersprachen ansprechen. Sprache: Englisch