Bewertung:
Das Buch wird für sein hochwertiges Material und die fundierten Kenntnisse des Autors in der Programmiersprachtheorie gelobt. Viele Leser empfinden es jedoch als zu komplex und nicht benutzerfreundlich. Sie bemängeln einen Mangel an Intuition bei den Erklärungen und einen starken Rückgriff auf formale Beweise.
Vorteile:⬤ Hochwertiges Material und schöne Präsentation
⬤ prägnante und genaue Definitionen
⬤ maßgebliches Wissen des Autors
⬤ detaillierte Code-Beispiele und Methodik in der Programmierung
⬤ fesselndes Thema.
⬤ Nicht benutzerfreundlich
⬤ teilweise zu abstrakt
⬤ unzureichende intuitive Erklärungen
⬤ starker Rückgriff auf formale Beweise
⬤ kann ohne zusätzliche Unterstützung durch Ausbilder verwirrend sein.
(basierend auf 5 Leserbewertungen)
Practical Foundations for Programming Languages
Dieser Text entwickelt eine umfassende Theorie der Programmiersprachen auf der Grundlage von Typsystemen und struktureller operativer Semantik. Sprachkonzepte werden durch ihre statische und dynamische Semantik präzise definiert, wobei die wesentlichen Werkzeuge sowohl intuitiv als auch rigoros vorgestellt werden und nur elementare Mathematik verwendet wird.
Diese Werkzeuge werden verwendet, um Eigenschaften von Sprachen zu analysieren und zu beweisen, und bilden den Rahmen für die Kombination und den Vergleich von Sprachmerkmalen. Die breite Palette von Konzepten umfasst grundlegende Datentypen wie Summen und Produkte, polymorphe und abstrakte Typen, dynamische Typisierung, dynamisches Dispatching, Subtyping und Verfeinerungstypen, Symbole und dynamische Klassifikation, Parallelität und Kostensemantik sowie Nebenläufigkeit und Verteilung.
Die Methoden sind direkt anwendbar auf die Sprachimplementierung, auf die Entwicklung von Logiken zur Argumentation über Programme und auf die formale Verifikation von Spracheigenschaften wie Typsicherheit. Diese gründlich überarbeitete zweite Auflage enthält Übungen am Ende fast aller Kapitel und ein neues Kapitel über Typverfeinerungen.
| ISBN: | 9781107150300 |
| Autor: | |
| Verlag: | |
| Einband: | Hardcover |
| Erscheinungsjahr: | 2016 |
| Seitenzahl: | 512 |
Derzeit verfügbar, auf Lager.
