Sémantické inžinierstvo s PLT Redex

Recenzie čitateľov

Kniha poskytuje prehľadný a zaujímavý úvod do sémantiky, najmä vďaka nástroju PLT Redex. Zatiaľ čo prvá časť je chválená za komplexný prehľad a historický kontext, ďalšie časti o PLT Redexe a prípadových štúdiách získali zmiešané hodnotenia, ktoré poukazujú na určité nejasnosti a nejednotnosť.

⬤ Prehľadná a zaujímavá prezentácia sémantiky
⬤ efektívne využitie PLT Redex na experimentovanie
⬤ prístupný prehľad operačnej sémantiky
⬤ silný úvod do malokrokovej sémantiky a kontextov hodnotenia.

⬤ Úvodné kapitoly zavádzajú mätúcu terminológiu
⬤ chýba vysvetlenie základných funkcií Redexu
⬤ druhá časť pôsobí nafúknuto a slabo integrovane s predchádzajúcimi časťami
⬤ prípadové štúdie sú prezentované nekonzistentne a chýba im jasná organizácia.

(na základe 4 čitateľských recenzií)

Pôvodný názov:

Semantics Engineering with PLT Redex

Obsah knihy:

Prvá komplexná prezentácia redukčnej sémantiky v jednom zväzku a prvý súbor nástrojov pre takéto formy sémantiky. Tento text je prvou ucelenou prezentáciou redukčnej sémantiky v jednom zväzku; zároveň predstavuje prvú spoľahlivú a ľahko použiteľnú sadu nástrojov pre takéto formy sémantiky.

Softvéroví inžinieri už dlho vedia, že automatická podpora nástrojov je rozhodujúca pre rýchle prototypovanie a modelovanie, a táto kniha je určená pracujúcim inžinierom v oblasti sémantiky (absolventom alebo profesionálnym návrhárom jazykov). Súčasťou knihy je súbor nástrojov na tvorbu prototypov, ktoré slúžia na vývoj, skúmanie, testovanie, ladenie a publikovanie sémantických modelov programovacích jazykov. Pomocou PLT Redex môžu sémantici formulovať modely ako gramatiky a redukčné modely na svojich počítačoch s jednoduchosťou papiera a ceruzky.

Text najprv predstavuje rámec na formuláciu modelov jazykov so zameraním na rovnicové kalkule a abstraktné stroje, potom predstavuje PLT Redex, sadu softvérových nástrojov na vyjadrenie týchto modelov ako modelov PLT Redex. Nakoniec odborníci opisujú celý rad modelov formulovaných v Redexe.

PLT Redex sa dodáva s implementáciou PLT Scheme, ktorá je k dispozícii zadarmo na adrese http: //www.plt-scheme.org/. Čitatelia si môžu stiahnuť softvér a experimentovať s Redexom počas práce na knihe.