Sémantické inženýrství s PLT Redex

Recenze čtenářů

Kniha poskytuje srozumitelný a zajímavý úvod do sémantiky, zejména s pomocí nástroje PLT Redex. Zatímco první část je chválena za ucelený přehled a historický kontext, následující části o PLT Redex a případových studiích získaly smíšené hodnocení, které poukazuje na určité nejasnosti a nejednotnost.

⬤ Přehledná a zajímavá prezentace sémantiky
⬤ efektivní využití PLT Redex pro experimentování
⬤ přístupný přehled operační sémantiky
⬤ silný úvod do malostupňové sémantiky a kontextu hodnocení.

⬤ Úvodní kapitoly zavádějí matoucí terminologii
⬤ chybí vysvětlení základních funkcí Redexu
⬤ druhá část působí nafoukle a špatně se propojuje s předchozími částmi
⬤ případové studie jsou prezentovány nekonzistentně a chybí jim jasná organizace.

(na základě 4 hodnocení čtenářů)

Původní název:

Semantics Engineering with PLT Redex

Obsah knihy:

První ucelená prezentace redukční sémantiky v jednom svazku a první sada nástrojů pro tyto formy sémantiky. Tento text je první ucelenou prezentací redukční sémantiky v jednom svazku; představuje také první spolehlivou a snadno použitelnou sadu nástrojů pro takové formy sémantiky.

Softwaroví inženýři již dlouho vědí, že automatická podpora nástrojů je pro rychlé prototypování a modelování klíčová, a tato kniha je určena pracujícím inženýrům v oblasti sémantiky (postgraduálním studentům nebo profesionálním návrhářům jazyků). Součástí knihy je sada prototypovacích nástrojů pro vývoj, zkoumání, testování, ladění a publikování sémantických modelů programovacích jazyků. Pomocí PLT Redex mohou sémantici formulovat modely jako gramatiky a redukční modely na svých počítačích s lehkostí papíru a tužky.

Text nejprve představuje rámec pro formulaci modelů jazyků se zaměřením na rovnostní kalkule a abstraktní stroje, poté představuje PLT Redex, sadu softwarových nástrojů pro vyjádření těchto modelů jako modelů PLT Redex. Nakonec odborníci popisují řadu modelů formulovaných v Redexu.

PLT Redex je dodáván s implementací PLT Scheme, která je k dispozici zdarma na adrese http: //www.plt-scheme.org/. Čtenáři si mohou tento software stáhnout a při práci s knihou experimentovat s Redexem.