Bewertung:
Das Buch bietet eine klare und interessante Einführung in die Semantik, die insbesondere durch das PLT Redex-Tool unterstützt wird. Während der erste Teil für seinen umfassenden Überblick und den historischen Kontext gelobt wird, erhielten die nachfolgenden Abschnitte über PLT Redex und Fallstudien gemischte Kritiken, die auf einige Verwirrungen und Inkonsistenzen hinweisen.
Vorteile:⬤ Klare und interessante Darstellung der Semantik
⬤ effektive Nutzung von PLT Redex für Experimente
⬤ zugänglicher Überblick über die operationale Semantik
⬤ starke Einführung in die kleinschrittige Semantik und Bewertungskontexte.
⬤ Die ersten Kapitel führen verwirrende Terminologie ein
⬤ fehlende Erklärung grundlegender Redex-Funktionen
⬤ der zweite Teil fühlt sich aufgebläht an und ist schlecht in die früheren Abschnitte integriert
⬤ Fallstudien werden inkonsistent präsentiert und es fehlt eine klare Organisation.
(basierend auf 4 Leserbewertungen)
Semantics Engineering with PLT Redex
Die erste umfassende Darstellung der Reduktionssemantik in einem Band und der erste Werkzeugsatz für derartige Formen der Semantik. Dieser Text ist die erste umfassende Darstellung der Reduktionssemantik in einem Band; er stellt auch das erste zuverlässige und einfach zu verwendende Werkzeugset für solche Formen der Semantik vor.
Software-Ingenieure wissen seit langem, dass automatische Werkzeugunterstützung für schnelles Prototyping und Modellierung entscheidend ist, und dieses Buch richtet sich an den arbeitenden Semantik-Ingenieur (Doktorand oder professioneller Sprachdesigner). Das Buch enthält eine Prototyping-Tool-Suite zum Entwickeln, Erforschen, Testen, Debuggen und Veröffentlichen semantischer Modelle von Programmiersprachen. Mit PLT Redex können Semantiker Modelle in Form von Grammatiken und Reduktionsmodellen auf ihren Computern mit der Leichtigkeit von Papier und Bleistift formulieren.
Der Text stellt zunächst einen Rahmen für die Formulierung von Sprachmodellen vor und konzentriert sich dabei auf Gleichungskalküle und abstrakte Maschinen. Anschließend wird PLT Redex vorgestellt, eine Reihe von Softwarewerkzeugen, mit denen diese Modelle als PLT Redex-Modelle formuliert werden können.
Schließlich beschreiben die Experten eine Reihe von Modellen, die in Redex formuliert wurden. PLT Redex wird mit der PLT Scheme-Implementierung geliefert, die unter http: //www.plt-scheme.org/ kostenlos erhältlich ist.
Die Leser können die Software herunterladen und mit Redex experimentieren, während sie sich durch das Buch arbeiten.
| ISBN: | 9780262062756 |
| Autor: | |
| Verlag: | |
| Einband: | Hardcover |
| Erscheinungsjahr: | 2009 |
| Seitenzahl: | 520 |
Derzeit verfügbar, auf Lager.
