Folgendes Buch sollte der Programmierer evtl. auch mal gelesen haben, wenn man Formeln mag ;-) ...
Ryan Stansifer
"Theorie und Entwicklung von Programmiersprachen"
Dieses Buch liefert einen Überblick über Konzepte, Entwicklung und theoretische Grundlagen von Programmiersprachen in dem Umfang und der Tiefe einer typischen Vorlesung im Hauptstudium an deutschen Universitäten.
Zu diesem Thema gibt es im Deutschen eine Reihe veralteter Titel, die wesentliche Teilgebiete nicht behandeln.
Hierzu zählen da Lambda-Kalkül und die denotionale Semantik, die Stansifer neben den klassischen Schwerpunkten wie Prolog, OOP usw. beschreibt. Die vermittelten Inhalte sind mit Beispielen in ADA, Modula 3 und ML illustriert.
Aus dem Inhalt:
* BNF-Schreibweise
* Programmierung einer funktionalen Sprache
* Programmierung in Prolog
* Module und Klassen
* Behandlung von Ausnahmen
* Übergabe von Parametern
* Attribut-Grammatiken
* Wiederherstellung von Typen
* Hoare-Logik
* Verknüpfungen
* Post-Systeme
Das Buch richtet sich an Studenten der Informatik.