Ingineria semanticii cu PLT Redex

Recenzii ale cititorilor

Cartea oferă o introducere clară și interesantă în semantică, ajutată în special de instrumentul PLT Redex. În timp ce prima parte este lăudată pentru prezentarea sa cuprinzătoare și contextul istoric, secțiunile ulterioare privind PLT Redex și studiile de caz au primit recenzii mixte, evidențiind unele confuzii și inconsecvențe.

⬤ Prezentare clară și interesantă a semanticii
⬤ utilizare eficientă a PLT Redex pentru experimentare
⬤ prezentare generală accesibilă a semanticii operaționale
⬤ introducere puternică a semanticii cu pași mici și a contextelor de evaluare.

⬤ Capitolele inițiale introduc o terminologie confuză
⬤ lipsă de explicații pentru caracteristicile fundamentale Redex
⬤ a doua parte pare umflată și slab integrată cu secțiunile anterioare
⬤ studiile de caz sunt prezentate în mod inconsecvent și nu au o organizare clară.

(pe baza a 4 recenzii ale cititorilor)

Titlul original:

Semantics Engineering with PLT Redex

Conținutul cărții:

Prima prezentare cuprinzătoare a semanticii reducerii într-un singur volum și primul set de instrumente pentru astfel de forme de semantică. Acest text este prima prezentare cuprinzătoare a semanticii reducerii într-un singur volum; de asemenea, introduce primul set de instrumente fiabile și ușor de utilizat pentru astfel de forme de semantică.

Inginerii de software știu de mult timp că suportul automat pentru instrumente este esențial pentru prototiparea și modelarea rapidă, iar această carte se adresează inginerului de semantică care lucrează (student absolvent sau proiectant de limbaj profesionist). Cartea vine cu o suită de instrumente de prototipare pentru dezvoltarea, explorarea, testarea, depanarea și publicarea modelelor semantice ale limbajelor de programare. Cu PLT Redex, semanticienii pot formula modele ca gramatici și modele de reducere pe calculatoarele lor cu ușurința hârtiei și a creionului.

Textul prezintă mai întâi un cadru pentru formularea modelelor de limbaj, concentrându-se pe calcule ecuaționale și mașini abstracte, apoi introduce PLT Redex, o suită de instrumente software pentru exprimarea acestor modele ca modele PLT Redex. În final, experții descriu o serie de modele formulate în Redex.

PLT Redex vine cu implementarea PLT Scheme, disponibilă gratuit la adresa http: //www.plt-scheme.org/. Cititorii pot descărca software-ul și experimenta cu Redex în timp ce parcurg cartea.